Na wstępie zdefiniuje kilka dość abstrakcyjnych, ale prostych w istocie pojęć, zaliczanych do podstawowych pojęć teorii relacji.
Zbiór wszystkich n-tek (x1,x2, ..., xn) takich, że x1x2 A2, ..., xn An, nazywa się produktem kartezjańskim zbiorów A1, A2, ..., An i oznacza symbolem: A1xA2x.
Zbiór wszystkich n-tek (x1,x2, ..., xn) takich, że x1x2 A2, ..., xn An, nazywa się produktem kartezjańskim zbiorów A1, A2, ..., An i oznacza symbolem: A1xA2x.