Propiedad de las operaciones binarias en las que cambiar el orden de los operandos no cambia el resultado.