Abbildung/Wertgleichheit/Äquivalenzrelation/Fakt

Es seien ${}M$ und ${}N$ Mengen und sei ${}f\colon M\rightarrow N$ eine Abbildung.

Dann wird durch die Festlegung

${}x\sim y\,,$

wenn

{}f(x)=f(y)\,,

eine Äquivalenzrelation auf ${}M$ definiert.