In matematica il prodotto cartesiano di due insiemi  e è l'insieme delle coppie ordinate  con in e in . Formalmente:

Se e sono insiemi distinti, i prodotti e sono formalmente distinti, anche se sono in naturale corrispondenza biunivoca.