Kurs:Analysis (Osnabrück 2014-2016)/Reelle Zahlen/Intervalle und zusammenhängende Teilmengen/Fakt/Faktreferenznummer