A binary operator is commutative iff, For all , .