שינויים
/* פונקציות */
*יחס R נקרא '''חד ערכי''' אם <math>[(x,b)\in R] \and [(x,d) \in R] \rightarrow (d=b)</math> כלומר אין איבר שנשלח ל-2 מקומות שונים
*יחס R נקרא '''חד-חד ערכי''' אם <math>[(x,b)\in R] \and [(y,b) \in R] \rightarrow (x=y)</math> כלומר איברים שונים נשלחים למקומות שונים (כלומר, היחס ההופכי הינו חד ערכי)
'''הגדרה:'''
ובאופן כללי <math>f:A\to B \;\; , a \mapsto f(a)</math>.
(A נקרא תחום הגדרה של הפונקציה.)
'''הגדרה:'''
*<math>D:\mathbb{R}\rightarrow\mathbb{R}</math> פונקצית דיריכלה: על כל מספר רציונאלי מקבלת 1 ועל כל מספר אי רציונאלי מקבלת אפס.
'''תרגיל.:'''
יהיו A ו-B קבוצות סופיות בעלות עוצמה זהה. הוכח שכל פונקציה מ-A ל-B הינה על אם"ם היא חח"ע
'''הוכחה.:'''
נסמן <math>f:A\to B, A=\{a_1,\dots a_n\},B=\{b_1,\dots b_n\} </math> . כאשר כל האיברים ב A שונים זה מזה וכנ"ל ל B
'''הגדרה:'''
יהיו <math>f:A\to B, g:B\to C </math> שתי פונקציות אזי '''ההרכבה שלהם של <math>g</math> על <math>f</math>''' היא פונקציה <math>g \circ f:A\to C </math> מוגדרת המוגדרת על ידי הכלל <math>g \circ f(a)=g(f(a)) </math>
'''תרגיל.:'''
*נניח <math>g \circ f</math> חח"ע. הוכח/הפרך: g חח"ע, f חח"ע
*נניח <math>g \circ f</math> על. הוכח/הפרך: g על, f על
'''פתרון.:'''
נניח <math>g \circ f</math> חח"ע. נניח בשלילה ש-f אינה חח"ע. לכן קיימים <math>x,y</math> כך ש <math>f(x)=f(y)</math> אבל <math>x\neq y</math>. אבל, <math>g\circ f (x) = g(f(x))=g(f(y))=g\circ f(y)</math> בסתירה לחח"ע של ההרכבה, ולכן f חח"ע.
