שינויים

'''<math>\underline{\forall C\in P(Y)}\ \forall c\in C\ \exists a\in A:f(a)=bc</math>

'''כלומר, היות וכל איבר ב-Y הוא תמונה תחת f, בפרט כל איבר ב-B C הוא תמונה תחת f. ולכן, המקור (תחת F) שיתן את קבוצת התמונות B C היא קבוצת המקורות שלו:

'''<math>\underline{\exists A\in P(X):}A=\{a:f(a)\in BC\}\ \ and\ \ therefore\ \ \underline{F(A)=}\{f(a):a\in A\}=\{f(a):f(a)\in BC\}=\underline{BC}</math>.