2.2. Well Defined Sets