Discrete-math 8 Equivalence relations Quotient set is a partition theorem Existence of equivalence relation based on partition theorem