Hausdorffraum/Kompakte Teilmenge/Abgeschlossen/Fakt

Aus Wikiversity

Es sei ein Hausdorffraum und es sei eine Teilmenge, die die induzierte Topologie trage. Es sei kompakt.

Dann ist abgeschlossen in .