**<math>aRb</math>
**<math>bRa</math>
*בתירגול הגדרנו יחס שלם בהקשר של פונקציה ובשביל להגדיר פונקציה. תתעלמו/תמחקו את ההגדרה של פונקציה ויחס שלם מהתירגול ותשארו עם ההגדרה של ההרצאה: נאמר כי f פונקציה מ A ל B ונסמן <math>f:A\to B</math> אמ"מ כל הבאים מתקיימים:
** f יחס חד ערכי
** dom(f)=A