Sei x∈X.
Wenn X={x} ist nichts zu zeigen, da der ganze Raum immer abgeschlossen ist.
Falls #X≥2 existiert wegen der Hausdorff-Eigenschaft (es reicht auch T1) für jedes y∈X∖{x} eine offene Umgebung Uy die x nicht enthält. Das Komplement {x}c=X∖{x}=y∈X∖{x}⋃Uy ist als Vereinigung offener Mengen selbst offen, also ist {x} abgeschlossen.