Go backward to
Isomorphism of Rational Constructions
Go up to
Equivalence relations, classes, and partitions.
Every equivalence class is a partition.
Every partition is an equivalence class.
Modular arithmetic and number domains.
Partitioning of basic domain by equivalence relation.
Computation with representative.
Because of congruence properties, choice of representative does not matter.
Last Modification: January 12, 2000