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