Please give details!

4.5 Unordered structures and type declarations (10 pts) Consider the following two sets: Car = {bmw, audi, mercedes, jeep, infiniti, lerus, volkswagen}, and Favorite = {bmw, infiniti, jeep}. Answer the following questions: 1. Is P Car a legitimate type? 2. Is the following declaration acceptable: Favorite : Car ? Explain. 3. Is the following declaration acceptable: Favorite : P Car ? Explain. 4. Is audi c P Car? Explain. 5. Is {infiniti} P Car? Explain. 6. Is {{}} P Car? 7. Is {} P Car? Explain. 8. If we define variable Favorite : PCar, is {} a legitimate value for variable Favorite? Explain. 9. Is Favorite CP Car? Explain. 10. Is {Favorite}