Abbildung/Wertgleichheit/Äquivalenzrelation/Fakt/Name/Inhalt

Durch die Festlegung

wenn

wird eine Äquivalenzrelation auf definiert.