Prodotto cartesiano

Dati gli insiemi $A$ e $B$: $A\times B=\{(a,b):a\in A,b\in B\}$

$(a,b)$ è una coppia ordinata; ciò significa che, per $a\ne b$, $(a,b)\ne (b,a)$