property of binary operations, for which changing the order of the operands does not change the result