Equivalence and quotient