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.

DifinoRedakti

Kartezia produto de aroj   kaj   estas aro:

 ,

kaj   signifas Aro de ĉiuj subaroj de aro  .

EkzemploRedakti

Estas aroj:   kaj  . Kartezia produto de aroj   laŭ difino estas:  .