Definition Of Properties Of Equality