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