Un "formula_1"-módulo izquierdo de "formula_4" es un grupo abeliano formula_5 y una operación formula_6 tal que para cualesquiera formula_7, formula_8, se tiene