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