מעתה ואילך נתרכז ביחסים דו-מקומיים לא ריקים מעל קבוצה לא ריקה . A כשנדבר על ' יחס ' סתם , נתכוון ליחס מסוג זה , כלומר לתת-קבוצה לא ריקה של . A A לכל קבוצה , A אחת מן התת-קבוצות של A A היא A A עצמה . היחס A A מכונה היחס המלא מעל ; A כל זוג מתוך A עומד ביחס הזה . לכל קבוצה , A גם התת-קבוצה המורכבת מן הזוגות מתוך A אשר שני רכיביהם שווים זה לזה , היא יחס מעל . A את קבוצת הזוגות העומדים ביחס הזה נהוג לסמן . I היחס { I = { x , x : x ∈ A הוא יחס השוויון מעל . A זוג x , y מתוך A A עומד ביחס הזה אם ורק אם . x = y
אל הספר