Wyznaczmy najpierw zbiory par utworzonych po wykonaniu działania.

Przypomnijmy, aby wyliczyć iloczyn kartezjański dwóch zbiorów  oraz , tworzymy pary o postaci , przy czym  i .