Searching for links to EquivalenceRelation:
ConstructingTheIntegers
ConstructingTheRationals
EquivalenceClass
ModuloArithmetic
ThisPageUses