Tenemos entonces que, si formula_24 es un grupo y formula_174, las relaciones de congruencia formula_334 y formula_355 definen cada cual una partición del grupo formula_24 en clases de equivalencia.