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

Es sei ${}[x]\in M/\sim$ gegeben. Die einzige Möglichkeit für ${}{\overline {\varphi }}$ ist ${}{\overline {\varphi }}([x]):=\varphi (x)$ 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 ${}[x]=[y]$, also ${}x\sim y$. Dann ist nach der Voraussetzung an ${}\varphi$ aber

${}\varphi (x)=\varphi (y)$.

Zur gelösten Aufgabe