יחס טרנזיטיבי

חוק ההעברה אומר: אם a קשור ל-b ו-b קשור ל-c, אז a קשור גם ל-c. כאן "קשור" זה פשוט דרך לחבר דברים. יש קשרים שבהם זה עובד תמיד. אבל קשרים כמו "בן-של" לא עובדים כך. לדוגמה: איתמר הוא בן של אהרון, ואהרון בן של עמרם, אבל איתמר לא בן של עמרם. לעומת זאת, אם אומרים "א הוא צאצא של ב'", אז זה עובד: אם א צאצא...