Kurs:Mathematik (Osnabrück 2009-2011)/Topologischer Raum/Abzählbare Basis/Überdeckungskompakt und folgenkompakt/Fakt/Faktreferenznummer