Es sei ${\displaystyle {}X}$ ein Hausdorffraum und es sei ${\displaystyle {}Y\subseteq X}$ eine Teilmenge, die die induzierte Topologie trage. Es sei ${\displaystyle {}Y}$ kompakt.

Dann ist ${\displaystyle {}Y}$ abgeschlossen in ${\displaystyle {}X}$.