נניח ש- A היא קבוצת אנשים . יחסים בין איברי A כגון ' להיות מבוגר מ- ' , או ' להכיר את ' , ' להיות אח של ' , או ' להיות נשוי ל- ' , וכיוצא באלה , מכונים יחסים דו-מקומיים מעל . A דו-מקומיים – לל מּ ד שמעורבים בהם זוגות של אנשים ; מעל – A קיצור של ' בין איברי . ' A הראשון מהיחסים שהדגמנו – ' להיות מבוגר מ- ' – ניתן לתאור באמצעות התבנית ' x מבוגר / ת מ- . ' y האותיות x ו- y המופיעות בתבנית הן משתנים , שאינם מצביעים על מישהו מסוים . האנשים מתוך A העומדים ביחס הזה הם אלה , אשר כשהתבנית מדברת עליהם ( במקום על המשתנים x ו- , ( y היא אומרת דבר נכון . אם דן ומיכאל שייכים ל- , A דן בן 30 ומיכאל בן , 20 אז הטענה ' דן מבוגר ממיכאל ' נכונה , אבל הטענה ' מיכאל מבוגר מדן ' אינה נכונה . לא מדויק אפוא לומר שדן ומיכאל עומדים ביחס , אלא עלינו לומר שדן ומיכאל בּסּבּ ד הזה עומדים ביחס הנידון . המונח המתבקש הוא ' זוג סדור ' . אמור מעתה : ביחס דו-מקומי מעל A מעורבים זוגות סדורים מתוך , A כלומר איברים של המכפלה הקרטזית . A A איבר נתון a , b ∈ A A עומד ביחס שאותו מתארת התבנית ' x מבוגר / ת מ- , ' y אם ורק אם כש...
אל הספר