Sei ${\displaystyle {}R\subseteq M\times M}$ eine Äquivalenzrelation. Dann heißt

${\displaystyle {}M/R:={\left\{[x]\mid x\in M\right\}}\,}$

die Quotientenmenge von ${\displaystyle {}R}$.