Las relaciones de congruencia módulo un subgrupo formula_126 por la izquierda y por la derecha son relaciones de equivalencia.