Dekarto sandauga

Dviejų aibių Dekarto sandauga (angliškai Cartesian product) yra aibė visų įmanomų porų, kur pirmas elementas imamas iš pirmos aibės, o antras – iš antros. Aibių X ir Y Dekarto sandauga žymima X×Y.

$X \times Y = \left \{ (x,y) | \forall x \in X, \forall y \in Y \}\right.$