Kategorie:Theorie der Intervallschachtelungen/Definitionen