Si est une partie de l’espace topologique , on pose et .
1
Montrer que et sont des applications croissantes pour l’inclusion de dans .
2
Montrer que si est ouvert, et si est fermé, . En déduire que et .
3
Construire tel que les cinq ensembles :
, , , , soient tous distincts.