Dado un conjunto A, no vacío, en el que se han definido dos leyes de composición internas, que denotamos: formula_31, tiene la primera propiedad distributiva sobre la segunda si es distributiva por la izquierda y por la derecha.