Recordemos que las clases de equivalencia siempre son disjuntas entre si y que su reunión es todo el conjunto.