Equivalence relation/Equivalence class/Definition

Equivalence class

Let $R\subseteq M\times M$ be an equivalence relation, and let $x\in M$. Then

$[x]:=\{y\in M\mid (x,y)\in R\}$

is called the equivalence class of $x$ with respect to $R$.