Equivalence relation/Quotient set/Definition

Let ${\displaystyle {}R\subseteq M\times M}$ denote an equivalence relation. The set

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

is called the quotient set of ${\displaystyle {}R}$.