Es sei X {\displaystyle {}X} ein Hausdorffraum und es sei Y ⊆ X {\displaystyle {}Y\subseteq X} eine Teilmenge, die die induzierte Topologie trage. Es sei Y {\displaystyle {}Y} kompakt.
Dann ist Y {\displaystyle {}Y} abgeschlossen in X {\displaystyle {}X} .
