Equivalence Relation

a R a. (Reflexivity) 
if a R b then b R a. (Symmetry) 
if a R b and b R c then a R c. (Transitivity)