A relation $\sim$ on $M$ is called an equivalence relation, if it is reflexive, symmetric and transitive.