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.

Zum Beweis, Alternativen Beweis erstellen