Kartezia produto de aroj
kaj
estas aro da ĉiuj ordaj duopoj
tiel, ke
estas el
, kaj
estas el
. Tiun aron oni signas per simbolo
. Nomo kartezia produto devenas de nomo Kartezio, franca filozofo kaj matematikisto, kiu enkondukis ĉi tiun difinon en geometria analitiko.
Kartezia produto de aroj
kaj
estas aro:
,
kaj
signifas Aro de ĉiuj subaroj de aro
.
Estas aroj:
kaj
. Kartezia produto de aroj
laŭ difino estas:
.