Diremos que dos elementos formula_4 y formula_5 de formula_1 son congruentes por la izquierda módulo formula_2 si formula_8.