The equivalence relation -- congruence

Equivalence classes -- representatives


slide: Equivalence