Äquivalenzrelation/Abbildung/Projektion/Bemerkung

Zu einer Abbildung $f:M\to N$ und der zugehörigen Äquivalenzrelation $\sim$ im Sinne von Fakt gibt es nach Fakt eine eindeutig bestimmte Abbildung

$\psi :M/\sim ⟶N$

mit

$f=\psi \circ q.$

Diese ist sogar injektiv.