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