Karteziánsky súčin

Karteziánsky súčin množiny $A$ a množiny $B$ je množina všetkých usporiadaných dvojíc $(a,b)$, kde prvky $a$ sú prvky z množiny $A$ a prvky $b$ sú prvky z množiny $B$. Kartézsky súčin množín $A$ a $B$ sa bežne označuje znakom $A\times B$. Formálne je kartézsky súčin definovaný vzťahom

$A\times B\; \stackrel{\mathrm{def}}{=}\; \{(a,b)\,|\,a\in A\,\wedge\,b\in B\}$.

Vlastnosti

• Kartézsky súčin nie je komutatívna množinová operácia.
• Kartézsky súčin nie je ani asociatívna množinová operácia.

Pozri aj

• Usporiadaná dvojica
• Binárna relácia