Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Kompakter Raum/Abgeschlossene Teilmenge/Kompakt/Fakt/Faktreferenznummer