Cummutative Law of Binary Operation