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