Properties Of Binary Operations