Discrete-math 7 Equivalence relation definition Modular relation Equivalence classes definition Quotient set definition Exercise Properties of equivalence classes lemma Partition of a set definition Example