Il prodotto cartesiano di due insiemi $A,B$, indicato con $A \times B$, è l’insieme di tutte le copie ordinate $(a,b)$ con $a \in A$ e $b \in B$.
$$ A \times B = \{ (a, b) | a \in A,b \in B \} $$
Se $A=\{a,b\}$ e $B=\{1,2\}$ allora $A\times B=\{(a,1),(a,2),(b,1),(b,2)\}$.