אבל איך אני יכול לדעת שהקבוצה הריקה שונה מהקבוצה S????
:מצוין. מחלקים למקרים: אם <math>S</math> היא הקבוצה הריקה אנחנו נקבל מקרה די משעמם, כי קבוצת החזקה של הקבוצה הריקה מכילה איבר אחד (הקבוצה הריקה). אחרת, אם <math>S</math> היא לא הקבוצה הריקה, אז מצאת איבר לא הפיך.
== תרגיל 2 שאלה 7 סעיף ב' ==