כפל יחסים דו-מקומיים

הפעולה הבאה שנגדיר מכונה כפל יחסים ( דו-מקומיים ) . תחילה נדגים . יהיו R , S היחסים הדו-מקומיים האלה : הנה תיאוריהם בדיאגרמות חיצים : נזיז את הדיאגרמות של R ושל S זו לעבר זו , עד שהעמודה הימנית בדיאגרמה של R תתאחד עם העמודה השמאלית בדיאגרמה של . S בעמודה המרכזית של הדיאגרמה המאוחדת , רשמנו את האיברים המשותפים לשתי העמודות שאיחדנו רק פעם אחת . בעזרת הדיאגרמה המאוחדת נתאר את המכפלה : SR הזוגות העומדים ביחס R S הם הזוגות , x , y שעבורם יש בדיאגרמה המאוחדת מסלול דו-חיצי שמוביל מ- x ל- . y למשל , , 4 , 5 ∈ SR כלומר 4 RS 5 כי -4 - 65 הוא מסלול דו-חיצי שמוביל מ- 4 ( בצד שמאל ) ל- 5 ( בצד ימין ) . , 3 , 5 ∉ RS כלומר 3 RS 5 כי אין מסלול דו-חיצי שמוביל מ- 3 ( בצד שמאל ) ל- 5 ( בצד ימין ); המסלול הדו-חיצי , -5 -7 6 המעיד ש- 5 R 7 , S 76 מלמד : 5 RS 6  To the book