Декартово произведение

Допустим, у нас есть два множества, и , где = {2, 4} и = {1, 3, 5}. Декартовым произведением этих двух множеств называется набор из всех возможных пар, в которых первым идет элемент множества , а вторым − элемент множества : = {(2,1), (2,3), (2,5), (4,1), (4,3), (4,5)}.

Увеличивая количество множеств, можно дать обобщенное определение отношения на n доменах. Пусть имеется n множеств , , ..., . Декартово произведение этих n множеств можно определить следующим образом:

= .