Let $\sim$ be an equivalence relation on $M$ and $a \in M$. Set ${N_a=\{x\in M: a \sim x \}}$ is called an equivalece class of $a$.