Kategorie:Theorie der reellen Intervalle/Definitionen