Commutative Law of Binary Operation