Consider that , and are the sets, then
1. and 2. 3. 4. and then 5. if and only if 6. if and only if 7. and 8. If and then 9. 10.11.12. and 13.14. 15. If then 16. If and then 17. If or then 18. 19. 20.