Para todo a, b, c de A, se cumple que: operar con la primera ley, el resultado de operar por la segunda ley a con b, con c, es igual al resultado de operar con la segunda ley, los resultados de operar con la primera ley a con c y b con c.