Abbildung/Wertgleichheit/Äquivalenzrelation/Fakt
Zur Navigation springen
Zur Suche springen
Zum Beweis, Alternativen Beweis erstellen
Seien und Mengen und sei eine Abbildung.
Dann wird durch die Festlegung
wenn
eine Äquivalenzrelation auf definiert.