Teorema

Sia uno spazio topologico di Hausdorff. Allora gli insiemi sono chiusi.

Dimostrazione

Sia e considero .
Poiché è di Hausdorff, allora intorno aperto di tale che Pertanto è intorno di tutti suoi punti e per la caratterizzazione degli aperti è aperto, dunque è chiuso.