חח"ע: כן. תהיינה <math>X,Y\in P(A), X\neq Y</math> אם <math>X\subsetneq Y\lor (X\nsubseteq Y\land Y\nsubseteq X)</math> אזי <math>X\in f(X)\smallsetminus f(Y)</math>. אחרת <math>Y\in f(Y)\smallsetminus f(X)</math>.
על: לא. למשל לקבוצה <math>\{ \{ 1,2\} , \{ 3,4\} \}</math> אין מקור. אין תת קבוצה שהאוסף הזה הוא בדיוק אוסף הקבוצות המכילות אותה.
===תרגיל===