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.