„Descartes-szorzat” változatai közötti eltérés

 

[[Halmazrendszer]] Descartes-szorzatát a [[kategória (matematika)|kategóriaelmélet]] fogalmaival is lehet definiálni, éspedig a szorzat univerzális tulajdonsága segítségével. Eszerint, ha A=( A_i )_i∈I indexezett halmazrendszer, akkor ennek Descartes-szorzata olyan P halmaz a p=( p_i )_i∈I) függvényrendszerrel együtt, melyre teljesül, hogy egyetlen olyan h:Q <math>\rightarrow</math> P függvény van, amire az alábbi diagram kommutatív:

azaz minden i ∈ I-re

:<math>q_i=p_i \circ h</math> .