the property of a binary operation or operator such that the result of one term operating on a second is equal to the result of the second term operating on the first.  [GG]