Il prodotto cartesiano di due insiemi A e B è l’insieme formato da tutte le coppie ordinate (a; b) in cui il primo elemento appartiene al primo insieme A e il secondo elemento al secondo insieme B.
C = A × B = {(a; b)| a ∈ A e b ∈ B}
A × B = {(a; 1), (a; 2), (b; 1), (b; 2), (c; 1), (c; 2)}