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
redaktiKartezia produto de aroj kaj estas aro:
- ,
kaj signifas Aro de ĉiuj subaroj de aro .
Ekzemplo
redaktiEstas aroj: kaj . Kartezia produto de aroj laŭ difino estas: .