para todo a, b de A, se cumple que operar a con b es igual a operar b con a.