para todo a, b, c de A, se cumple que: operar a con b y el resultado con c, es igual a operar a con el resultado de operar b con c.