Dando lugar a la estructura algebraica:formula_47, la ley de composición externa es distributiva sobre la interna si es distributiva por la derecha y por la izquierda.