שינויים
/* המשך פונקציות */
נראה את ההכלה בכיוון השני אם <math>f</math> חח"ע:
יהא <math>x\in f^{-1}(f(A))</math> לכן <math>f(x) \in f(A)</math> לכן <math>\exsist exists a\in A : f(x)=f(a)</math>. כיוון ש <math>f</math> חח"ע נובע כי <math>x=a\in A</math>