פונקציות
הגדרה: יהיו A,B קבוצות וR יחס בינהן. אזי:
- התחום של R הינו
- התמונה של R הינה
דוגמא.
- אם R יחס מלא על A אזי האיחוד של התמונה והתחום שווה A
אזי התחום הוא
והתמונה הינה
הגדרה:
- יחס R נקרא חד ערכי אם
- יחס R נקרא חד-חד ערכי אם
(כלומר, היחס ההופכי הינו חד ערכי)
- יחס R נקרא על אם
כלומר