שינויים
/* יחסים כתת קבוצה של הזוגות הסדורים */
==יחסים כתת קבוצה של הזוגות הסדורים==
הגדרה: יהיו A,B קבוצות, <math>R\subseteq A\times B</math> אזי R יקרא יחס (בין A ל -B)
הרעיון שעומד בבסיסו של יחס הוא האעשרות האפשרות "להשוות" בין איברי A ל B
דוגמא: <math>A=\{1,2,3\},B=\{0,2,6\}</math> ונביט בתת הקבוצה <math>R\subseteq A\times B</math> הבאה: <math>R=\{(1,2),(1,6),(2,2),(2,6),(3,6)\}</math>. מה מיוחד בזוגות אלה?
הערה: יחס לא חייב לייצג חוקיות מסוימת למשל גם הקבוצה <math>S=\{(1,2),(1,6),(2,0),(2,2))\}</math> היא יחס.
סימון: אם זוג מסוים , (a,b), נמצא בקבוצת היחס R נהוג לסמן aRb. (אם יש משמעות ליחס כמו לעיל ניתן גם לסמן פשוט <math>a\leq b</math>.
