kanonische Abbildung in einen Faktorraum

Sei \(M\) eine Menge mit einer Äquivalenzrelation \(\sim\). Dann ist die kanonische Abbildung in den Faktorraum nach einer Äquivalenzrelation \(M / \sim\) gegeben durch

\begin{align*} \pi: M \rightarrow& M / \sim \\ x \mapsto [x]_{\sim} \end{align*}