Dati due insiemi non vuoti  A, e B si definisce prodotto cartesiano
 A x B (si legge A per B oppure A cartesiano B) l'insieme formato da tutte le coppie ordinate tali che il primo elemento appartenga ad A ed il secondo a B.
Si indica con AxB