שינויים

===דוגמאות===

*<math>f:\mathbb{N}\rightarrow\mathbb{Z}</math> כאשר <math>f(p)=p^2</math> חח"ע ואינה על.

*<math>f:\mathbb{Z}\rightarrow\mathbb{Z}</math> כאשר <math>f(p)=p^2</math> אינה חח"ע ואינה על.

*<math>f:\mathbb{R}\rightarrow\mathbb{R}</math> כאשר <math>f(x)=x-1</math> חח"ע ועל.

*<math>f:\mathbb{N}\rightarrow\mathbb{N} \cup \{ 0\}</math> כאשר <math>f(x)=x-1</math> חח"ע ועל.

* תהא פונקציה <math>f:A\to B</math> אזי <math>g:A\to \mathrm{im}(f) </math> המוגדרת לכל <math>a\in A</math> לפי <math>g(a)=f(a)</math> היא על (במילים: פשוט חושבים על הטווח של <math>g</math> להיות התמונה של <math>f</math>).

* תהא <math>A\subseteq B</math> אזי הפונקציה <math>i : A\to B </math> המוגדרת לכל <math>a\in A</math> לפי <math>i(a)=a</math> נקראת פונקציה ההכלה (אם <math>A=B</math> זו פונקצית הזהות). פונקצית ההכלה היא חח"ע.