Äquivalenzrelation/Abbildung/Projektion/Bemerkung

Zu einer Abbildung und der zugehörigen Äquivalenzrelation im Sinne von Fakt gibt es nach Fakt eine eindeutig bestimmte Abbildung

mit

Diese ist sogar injektiv.