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