Il s’agit de comparer deux ensembles fermés.

On peut procéder par double inclusion. L’une (  ) est assez simple à établir. On constate alors que l’on n’a pas utilisé le fait que U était un ouvert … Ce constat nous met sur la piste pour démontrer la seconde inclusion.

 

 

 

 est l’intérieur de . On a donc : . On en tire alors, en considérant les fermés associés : . En tenant compte de : , il vient alors : .

Une première inclusion est ainsi établie.

 

On constate que l’on n’a pas utilisé l’hypothèse « U ouvert » qui équivaut à : . Or, on peut facilement comparer les ouverts  et  …

 

On a immédiatement : . On en tire alors, en considérant les ouverts associés : . Comme , il vient : , puis, en considérant les fermés associés : .

La deuxième inclusion est ainsi établie.