==יחסים כתת קבוצה של הזוגות הסדורים==
הגדרה: יהיו 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>. מה מיוחד בזוגות אלה?