Para un conjunto A, no vacío, con dos leyes de composición internas: formula_32, la primera es distributiva por la izquierda sobre la segunda si: