Karteziánsky súčin

Karteziánsky súčin množiny ${\displaystyle A}$ a množiny ${\displaystyle B}$ je množina všetkých usporiadaných dvojíc ${\displaystyle (a,b)}$, kde prvky ${\displaystyle a}$ sú prvky z množiny ${\displaystyle A}$ a prvky ${\displaystyle b}$ sú prvky z množiny ${\displaystyle B}$. Karteziánsky súčin množín ${\displaystyle A}$ a ${\displaystyle B}$ sa bežne označuje znakom ${\displaystyle A\times B}$. Formálne sa Karteziánsky súčin definuje vzťahom

${\displaystyle A\times B\;{\stackrel {\mathrm {def} }{=}}\;\{(a,b)\,|\,a\in A\,\wedge \,b\in B\}}$.