Alexanders Subbasis-Satz

Ein topologischer Raum ist kompakt, wenn jede Überdeckung des Raums durch Elemente einer Subbasis eine endliche Teilüberdeckung besitzt: Äquivalent dazu, wenn jede offene Überdeckung durch subbasische offene Mengen eine endliche Teilüberdeckung hat, dann ist der Raum kompakt.