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