Searching for links to EquivalenceClass:
ConstructingTheIntegers
ConstructingTheRationals
EquivalenceRelation
Infinity
Integer
ModuloArithmetic
RationalNumber