Дэкартавы здабытак

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі.



Мноства, якое пазначанае выразам S_{1}\times S_{2}\times\ldots\times S_{n}, ёсць дэкартавы здабытак мностваў S1,S2,...,Sn тады і толькі тады, калі гэтае мноства роўнае мноству ўсіх такіх магчымых і толькі такіх вектараў размернасці n, што кожны i-ты кампанент vi кожнага вектара v належыць мноству Si.

Фармальна: S_{1}\times S_{2}\times\ldots\times S_{n} \mbox{ }_{{}_{def}}^{=} \left\{v | (|v| = n) \and (v_{i} \in S_{i}) \right\}