Kategorie:Theorie der reellen Intervalle/Fakten