the GNU version of the Collaborative International Dictionary of English
n. 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.
Word Usage
"Application is not assumed to possess additional properties (such as commutativity), because its intended interpretation is function application."