שינויים
/* פונקציות */
*אם R יחס מלא על A אזי האיחוד של התמונה והתחום שווה A
*<math>R=\{(1,a),(2,b),(3,a)\}</math> אזי התחום הוא <math>dom(R)=\{1,2,3\}</math> והתמונה הינה <math>im(R)=\{a,b\}</math>
'''הגדרה:'''
*יחס R נקרא '''חד ערכי''' אם <math>[(x,b)\in R] \and [(x,d) \in R] \rightarrow (d=b)</math>
*יחס R נקרא '''חד-חד ערכי''' אם <math>[(x,b)\in R] \and [(y,b) \in R] \rightarrow (x=y)</math> (כלומר, היחס ההופכי הינו חד ערכי)
*יחס R נקרא '''על''' אם <math>\forall b\in B:\exists a\in A:(a,b)\in R</math> כלומר <math>im(R)=B</math>
