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.
