שימו לב שהסימון <math>f^{-1}(B)</math> אינו רומז בשום צורה שהפונקציה צריכה להיות הפיכה, הגדרה זו תקפה לכל פונקציה.
'''תרגיל.'''
<math>f(A)\cap f(B) = \{f(x)\} \neq \phi = f(\{\}) = f(A\cap B)</math>
'''תרגיל ממבחן (קצת משודרג).'''
יהיו <math>X,Y</math> שתי קבוצות, ותהי <math>f:X\rightarrow Y</math> פונקציה כלשהי. נגדיר את הפונקציה <math>g:P(Y)\rightarrow P(X)</math> על ידי <math>g(B)=f^{-1}(B)</math>.
בדוק את הקשר בין החח"ע/על של f לבין אלה של g. (כלומר, מה גורר את מה בהכרח).
'''פתרון.'''
תהי f חח"ע שאינה על (קל למצוא כאלה). אזי <math>\exists y\in Y\forall x\in X:f(x)\neq y</math>. לכן <math>g(Y)=f^{-1}(Y)=f^{-1}(Y/\{y\}=g(Y/\{y\})</math> בסתירה לחח"ע של g. לכן ייתכן ו-f חח"ע אך g אינה כזו.
תהי f כך ש-g חח"ע. כפי שראינו לעיל, ניתן ישר להסיק ש-f הינה על.
נוכיח שאם f על אזי g חח"ע; נניח בשלילה שg אינה חח"ע, אזי קיימות שתי קבוצות <math>B\neq C \in P(Y)</math> כך ש <math>g(B)=g(C)</math>. בלי הגבלת הכלליות, נניח שקיים איבר <math>c\in C</math> כך ש <math>c\notin B</math>. מכיוון ש-f על, קיים איבר a כך ש <math>f(a)=c</math>, לכן <math>a\in g(B)</math>, ואז קיים <math>b\in B</math> כך ש<math>f(a)=b</math> ולכן b=c בסתירה.
אם כן, הוכחנו ש-'''f על אם"ם g חח"ע.'''