בשאלה זו בעצם אני מתבקש 'רק' להוכיח שהיחס G הוא גם רפלקסיבי, גם סימטרי, וגם טרנזיטיבי נכון?
לא צריך להוכיח שהוא 'מעל AxB'?
'''יש גם להראות שהוא על 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>