Commutative property of binary operation