El cociente del conjunto formula_26 por una relación de equivalencia lo divide en clases disjuntas.