'''יש גם להראות שהוא על AXB, אבל זה החלק הקצר יותר.
'''שימו לב! האיברים של יחס כלשהו R הם זוגות סדורים השייכים למכפלה קרטזית של בין שתי קבוצות. מה קורה כאשר הקבוצות עצמן הן מכפלות קרטזיות? אז האיברים ב-R הם זוגות סדורים של זוגות סדורים.
'''<math>(a,b)\in A\times A,\ (c,d)\in C\times C\ \ then\ \ ((a,c),(b,d))\in (A\times C)^2</math>