'''ב.
'''היות ו-<math>\underline{\forall C\in P(Y)}\ \underbrace{\forall c\in C\ \exists a\in A:f על(a)=c}</math>
'''<math>\underline{\forall C\in P(Y)}\ \forall c\in C\ \exists a\in A:היות ו-f(a)=c</math>על
'''כלומר, היות וכל איבר ב-Y הוא תמונה תחת f, בפרט כל איבר ב-C הוא תמונה תחת f. ולכן, המקור (תחת F) שיתן את קבוצת התמונות C היא קבוצת המקורות שלו:
'''<math>\underline{\exists A\in P(X):}A=\{a:f(a)\in C\}\ \ and\ \ therefore\ \ \underline{F(A)=}\{f(a):a\in A\}=\{f(a):f(a)\in C\}=\underline{C}</math>.