Property of binary operations allowing sequences of operations to be regrouped without changing their value