Proposition: Äquivalenzklassen sind nie leer

Oder mathematisch:

Beweis

Das ist wahr, denn Äquivalenzrelationen sind reflexiv, es gilt also mindestens: .