Faktorraum nach einer Äquivalenzrelation

Sei \(M\) eine Menge mit einer Äquivalenzrelation \(\sim\) Der Faktorraum nach \(\sim\) ist definiert als

\begin{align*} M / \sim \coloneqq \{[x]_{\sim} \vert x \in M\} \end{align*}