Kurs:Mathematik (Osnabrück 2009-2011)/Mannigfaltigkeit/Abzählbare Basis/Kompakte Ausschöpfung/Fakt/Faktreferenznummer