Отношение есть подмножество декартова произведения множеств, элементы которого - кортежи, составленные из элементов перемножаемых множеств. N-арное отношение есть подмножество декартова произведения N множеств, состоящее из кортежей длины N. В частности, бинарное отношение есть множество пар, или кортежей длины 2, где первый элемент принадлежит первому, а второй - второму из двух перемножаемых множеств.
Например, для двух множеств
A = {1, 2, 3}
B = {'Стакан', 'Лимон'}
декартово произведение есть
A x B = {
(1, 'Стакан'),
(1, 'Лимон'),
(2, 'Стакан'),
(2, 'Лимон'),
(3, 'Стакан'),
(3, 'Лимон')
}