A binary operator is commutative iff,
For all , .