Vérification des propriétés topologiques des ensembles fermés (par exemple, l'équivalence des applications continues)