Es sei X {\displaystyle {}X} ein kompakter Raum und es sei Y ⊆ X {\displaystyle {}Y\subseteq X} eine abgeschlossene Teilmenge, die die induzierte Topologie trage.
Dann ist Y {\displaystyle {}Y} ebenfalls kompakt.
