Kartezia produto de aroj ${\displaystyle A}$ kaj ${\displaystyle B}$ estas aro da ĉiuj ordaj duopoj ${\displaystyle (a,b)}$ tiel, ke ${\displaystyle a}$ estas el ${\displaystyle A}$, kaj ${\displaystyle b}$ estas el ${\displaystyle B}$. Tiun aron oni signas per simbolo ${\displaystyle A\times B}$. Nomo kartezia produto devenas de nomo Kartezio, franca filozofo kaj matematikisto, kiu enkondukis ĉi tiun difinon en geometria analitiko.

Difino

Kartezia produto de aroj ${\displaystyle X}$ kaj ${\displaystyle Y}$ estas aro:

${\displaystyle X\times Y:=\left\{(x,y)\in {\mathcal {P}}({\mathcal {P}}(X\cup Y))\colon x\in X\wedge y\in Y\right\}}$,

kaj ${\displaystyle {\mathcal {P}}(X)}$ signifas Aro de ĉiuj subaroj de aro ${\displaystyle X}$.