Cuando en un grupo formula_132, dados los elementos de ese grupo: formula_133 tomamos como referencia al elemento formula_134 para verificar el cumplimiento de la ley cancelativa por la izquierda (tómese formula_134 como el elemento que opera a la izquierda de los demás), de tal manera que:formula_136