88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 4

פונקציות

הגדרה: יהיו A,B קבוצות וR יחס בינהן. אזי:

• התחום של R הינו $dom(R)=\{a\in A|\exists b\in B:(a,b)\in R\}$
• התמונה של R הינה $im(R)=\{b\in B|\exists a\in A:(a,b)\in R\}$

דוגמא.

• אם R יחס מלא על A אזי האיחוד של התמונה והתחום שווה A
• $R=\{(1,a),(2,b),(3,a)\}$ אזי התחום הוא $dom(R)=\{1,2,3\}$ והתמונה הינה $im(R)=\{a,b\}$