Beispiel: xy, falls lowercase(x)lowercase(y).
Dann ist die Relation
a b : = ab ba
eine Äquivalenz-Relation.
Wenn antisymmetrisch ist,
dann hat jede Äquivalenzklasse die Größe 1.
Nenne für das Beispiel die Äquivalenzklasse von "aBc"
.
Ein Sortierverfahren heißt stabil,
wenn für alle Ein/Ausgaben gilt: