Декартово произведение множеств
Одним из способов конструирования новых объектов из уже имеющихся множеств является декартово произведение множеств.
Пусть и
- множества. Выражение вида
, где
и
, называется упорядоченной парой. Равенство вида
означает, что
и
. В общем случае, можно рассматривать упорядоченную n-ку
из элементов
. Упорядоченные n-ки иначе называют наборы или кортежи.