שינויים
/* פונקציות */
'''הגדרה:'''
תהא A קבוצה . '''פונקציית הזהות מוגדרת להיות ''' היא פונקציה <math>f:A \to A</math> המקיימת <math>\forall a\in A: f(a)=a</math>. נהוג לסמנה: <math>id_A</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. זו פונקציה חח"ע שאינה על. (כל פונקציה היא על לתמונה של עצמה.)
*<math>D:\mathbb{R}\rightarrow\mathbb{R}</math> פונקצית דיריכליידיריכלה: על כל מספר רציונאלי מקבלת 1 ועל כל מספר אי רציונאלי מקבלת אפס.
'''תרגיל.'''
יהיו A וB ו-B קבוצות סופיות בעלות עוצמה זהה. הוכח שכל פונקציה מA לB מ-A ל-B הינה על אם"ם היא חח"ע
'''הוכחה.'''
