Properties of Congruence
These are taken from the reflexive, symmetric and transitive properties of equality, from algebra.
Reflexive Property:
Symmetric Property:
Transitive Property:
