שינויים
/* יחס שלם */
== יחס שלם ==
בהרצאה ובתירגול הופיע הגדרה של יחס שלם. ההגדרה לא היתה תואמת בשני המקרים(ההגדרה של ההרצאה קובעת). לכן מצורפת בזה הבהרה:* ההגדרה (מההרצאה) : יחס <math>R</math> מעל קבוצה A יקרא שלם אמ"מ לכל <math>A\ni a,b</math> שונים מתקיים לפחות אחד מהבאים:
**<math>aRb</math>
**<math>bRa</math>
*בתירגול הגדרנו יחס שלם בהקשר של פונקציה ובשביל להגדיר פונקציה. בשביל להגדיר פונקציה לא צריך את השם יחס שלם. באופן מפורש: יחס <math>f</math> מ A ל B יקרא פונקציה אם מתקיימים שני הבאים:
** לכל <math>a</math> ב A קיים <math>b</math> ב B המקיים <math>afb</math>(יחס שמקיים תכונה זאת הוגדר בתירגול כיחס שלם.למחוק את המילים "יחס שלם" מהתירגול)
** לכל <math>a</math> ב A ולכל <math>b_1,b_2</math> ב B מתקיים שאם <math>afb_1</math> וגם <math>afb_2</math> אז <math>b_1=b_2</math>
