Tenemos entonces que, si formula_1 es un grupo y formula_17, las relaciones de congruencia formula_15 y formula_36 definen cada cual una partición del grupo formula_1 en clases de equivalencia.