Kartezia produto

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.

 Difino 
Kartezia produto de aroj  kaj  estas aro:
 ,
kaj  signifas Aro de ĉiuj subaroj de aro .

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

Kategorio:Aro-teorio
Kategorio:Renato Kartezio