יחס (תורת הקבוצות)

יחס בינארי הוא קבוצה של זוגות. זוג סדור זה שתי פריטים בסדר קבוע. הפריט הראשון מגיע מקבוצה A, והשני מקבוצה B. אם הזוג (a,b) שייך ל‑R אומרים "a ביחס עם b". דוגמאות פשוטות הן שווה, קטן מ‑, ופונקציה. רפלקסיבי: כל איבר קשור לעצמו. למשל השווה. אי‑רפלקסיבי: אף איבר לא קשור לעצמו. "קטן מ" הוא כזה. סימ...