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

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

Перайсьці да: навігацыя, пошук

Мноства, якое пазначанае выразам 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\}