Упорядоченной n-кой называется набор из n элементов (x₁, x₂, …, x_n), причем порядок следования элементов фиксирован (имеет значение). Если a и b два объекта, то через (a, b) обозначают упорядоченную пару. Вообще говоря (a, b) ≠ (b, a), например, на плоскости точка (2, 1) отличается от точки (1, 2).

Равенство упорядоченных пар определяется следующим образом:

(a, b) = (c, d) ⇔ a = c и b = d

Прямым или декартовым произведением двух множеств А и В называется множество упорядоченных пар, в котором первый элемент каждой пары принадлежит множеству А, а второй принадлежит В:

А×B = {(a, b)|a ∈ A, b ∈ B}

Аналогично определяется декартово произведение n множеств:

A₁×A₂×…×A_n = {(a₁, a₂, …, a_n)|a₁∈A₁, a₂∈A₂, …, a_n∈A_n}.

Отступление. Точка на плоскости может быть задана упорядоченной парой координат, то есть двумя точками на координатных осях. Таким образом, R² = R×R. Метод координат ввел в употребление Рене Декарт (1596 — 1650), отсюда и название «декартово произведение».

Степенью множества А называется его прямое произведение самого на себя. Обозначение: Aⁿ = A×A×…×A. Соответственно, А¹ = А, А² = А×А, А³ = А×А×A и т.д.

Пример. Пусть A = {1, 2}, B = {x, y}. Тогда:

А×B = {(1, x), (2, x), (1, y), (2, y)},

B×A = {(x, 1), (x, 2), (y, 1), (y, 2)},

А² = А×А = {(1, 1), (1, 2), (2, 1), (2, 2)}.