Équivalence entre les applications continues et les ensembles ouverts/fermés (comme les propriétés topologiques des applications de fermeture)