Equivalence relation satisfies:

* reflexive
* symmetric
* transitive

It divides a set into disjoint subsets.