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. Zeige, dass ${\displaystyle {}Y}$ abgeschlossen in ${\displaystyle {}X}$ ist.