שינויים
/* פונקציות */
ובאופן כללי <math>f:A\to B \;\; , a \mapsto f(a)</math>.
(A נקרא תחום הגדרה של הפונקציה.)
'''הגדרה:'''
תהא A קבוצה פונקציית הזהות מוגדרת להיות <math>f:A \to A</math> המקיימת <math>\forall a\in A: f(a)=a</math>. נהוג לסמנה: <math>id_A</math> פונקציית הזהות היא חח"ע ועל.
'''דוגמאות:'''
*<math>f:\mathbb{Z}\rightarrow\mathbb{Z}</math> כאשר <math>f(p)=p^2</math> (אינה חח"ע ואינה על)
*<math>f:\mathbb{Z}\rightarrow\mathbb{Z}</math> כאשר <math>f(p)=p</math>. זו נקראת פונקצית פונקציית הזהות והיא חח"ע וגם על.
*<math>f:\mathbb{R}\rightarrow\mathbb{Z}</math> כאשר <math>f(x)=[x]</math> מוגדר להיות הערך השלם הקרוב ביותר ל-x (במקרה של חצי לוקחים את הגבוה). זו פונקציה על שאינה חח"ע
*<math>f:\mathbb{Z}_2\rightarrow\mathbb{Z}_3</math> כאשר לוקחים את 0 ל0 ואת 1 ל1. זו פונקציה חח"ע שאינה על. (כל פונקציה היא על לתמונה של עצמה.)
'''הגדרה:''' פונקצית הזהות על A הינה פונקציה מA לעצמו השולחת כל איבר לעצמו. נהוג לסמנה ב<math>id_A</math>. פונקציה <math>f:A\rightarrow B</math> נקראת הפיכה אם קיימת לה הופכית - פונקציה <math>f^{-1}:B\rightarrow A</math> כך שמתקיים <math>f\circ f^{-1} = id_B</math> וגם <math>f^{-1}\circ f = id_A</math>.
הערה: זכרו שפונקציה היא יחס. הפונקציה ההופכית שלה היא היחס ההופכי מטבע הדברים. על מנת שהיחס ההופכי יהיה פונקציה הוא צריך להיות ח"ע ושהתחום שלו יהיה כל B. תנאים אלה מתממשים רק אם f הינה חח"ע ועל.
