Two elements 
and 
of a set 
are said to be commutative under a binary operation 
if they satisfy
 | (1) |
Real numbers are commutative under addition
 | (2) |
and multiplication
 | (3) |
The Wolfram Language attribute that sets a function to be commutative is Orderless.
