Abbildung/Wertgleichheit/Äquivalenzrelation/Fakt

Seien und Mengen und sei eine Abbildung.

Dann wird durch die Festlegung

wenn

eine Äquivalenzrelation auf definiert.