Einteilung einer geordneten Menge, z. B. aller rationalen Zahlen, in zwei (nicht leere) Klassen derart, dass jede Zahl der Unterklasse kleiner ist als jede Zahl der Oberklasse und jede rationale Zahl in genau einer Klasse liegt. Im Bereich der rationalen oder reellen Zahlen definiert der dedekindsche Schnitt eindeutig eine bestimmte