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.