Por lo que si tenemos un subgrupo formula_8 del grupo aditivo, la relación de equivalencia formula_9 ssi, formula_10 está en formula_11 es una congruencia respecto a la suma, o sea que cumple la primera condición.