Go backward to
Isomorphism of Rational Constructions
Go up to
Top
Summary
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.
Author:
Wolfgang Schreiner
Last Modification: January 12, 2000