An equivalence relation is a relation R that satisfies three properties:

(Reflexive) aRa, for all a ε S.
(Symmetric) aRb if and only if bRa.
(Transitive) aRb and bRc implies that aRc.   _{Your Comment}