שינויים

'''<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,b),(c,d))\in A^2\times C^2</math>

'''ולכן תתי קב' שלה יהיו יחסים מ-<math>A^2</math> ל-<math>C^2</math>.