Definition Of Properties Of Operations