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