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.