Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity


Sei gegeben. Die einzige Möglichkeit für ist zu setzen. Es muss aber gezeigt werden, dass diese Abbildung überhaupt wohldefiniert ist, also unabhängig von der Wahl des Repräsentanten ist. Es sei hierzu , also . Dann ist nach der Voraussetzung an aber

.