יש בעיה בתרגיל או בהבנה שלי?
:בהבנה, שכן לא רשום <math>f(X)=Y</math> אלא מגדירים את <math>f(X)</math> להיות '''קבוצה''' המכילה את כל הקבוצות Y המקיימות את הדרישה. תת קבוצה של אוסף הקבוצות המוכלות בA הינה אכן איבר של <math>P(P(A))</math> --<font size='4'>[[משתמש:ארז שיינר|שיינר]]</font>
== אין לי כותרת! ==
משפט קנטור בבוחן?