Definizione. Dati due insiemi A e B, si definisce il prodotto cartesiano di A e B, e si indica con A × B, l'insieme di tutte le coppie ordinate di elementi, indicati da (a; b), tali che il primo elemento a della coppia appartenga all'insieme A e il secondo elemento b della coppia appartenga all'insieme B.