Kurs:Analysis (Osnabrück 2021-2023)/Metrischer Raum/Abgeschlossen/Charakterisierung mit konvergenten Folgen/Fakt/Faktreferenznummer