Heine–Borel-Satz

Im euklidischen Raum R^n ist eine Teilmenge genau dann kompakt (jede offene Überdeckung besitzt eine endliche Teilüberdeckung), wenn sie abgeschlossen und beschränkt ist; dies charakterisiert kompakte Mengen in der Standardtopologie von R^n.