Involvierte Definitionen
:Veranstaltung
: AlMaReferenz
: } AlgoMathe KE2 - Äquivalenzrelationen
⠀
Proposition: Äquivalenzklassen sind nie leer
Oder mathematisch:
Beweis
Das ist wahr, denn Äquivalenzrelationen sind reflexiv, es gilt also mindestens: