Kurs:Differentialgeometrie (Osnabrück 2023)/Topologischer Raum/Abzählbare Basis/Überdeckungskompakt und folgenkompakt/Fakt/Faktreferenznummer