Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Universelle Eigenschaft der Quotientenmenge

Es sei eine Menge und eine Äquivalenzrelation auf mit der Quotientenmenge . Es sei eine Abbildung mit für alle mit .

Dann gibt es eine eindeutig bestimmte Abbildung mit .

Zum Beweis, Alternativen Beweis erstellen