2015-02-04
357
Допустим, у нас есть два множества, 
и 
, где = {2, 4} и = {1, 3, 5}. Декартовым произведением этих двух множеств 
называется набор из всех возможных пар, в которых первым идет элемент множества , а вторым − элемент множества : 
= {(2,1), (2,3), (2,5), (4,1), (4,3), (4,5)}.
Увеличивая количество множеств, можно дать обобщенное определение отношения на n доменах. Пусть имеется n множеств , ,..., 
. Декартово произведение этих n множеств можно определить следующим образом:
= 
.
