Definition#

An equivalence relation on the set \(S\) is a relation that is reflexive, symmetric, and transitive.

The symbol \(\sim\) is used to denote an equivalence relation.

Source#

Gregory T. Lee. Abstract Algebra. 1st ed. Springer Cham, 2018. pp. 6.