Abbildung/Wertgleichheit/Äquivalenzrelation/Fakt

Es seien und Mengen und sei eine Abbildung.

Dann wird durch die Festlegung

wenn

eine Äquivalenzrelation auf definiert.