Kurs:Analysis (Osnabrück 2013-2015)/Reelle Zahlen/Abgeschlossene nach oben beschränkte Menge/Enthält Supremum/Fakt/Faktreferenznummer