'''ב.
'''<math>\underline{\forall C\in P(Y)}\ \ \ \ \underbrace{\forall c\in C\ \exists a\in A:f(a)=c}</math>
'''<math>\ \ \ \ </math>היות ו-f על
'''כלומר, היות וכל איבר ב-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>.