Упорядоченная пара
– это объект, в котором указаны первый и второй элементы (соответственно,
и
). Декартовым произведением
двух множеств
и
называется множество всех упорядоченных пар с первым элементом из множества
и со вторым элементом из множества
:
.
Если
, то декартово произведение
представляется на координатной плоскости: пара
изображается точкой с координатами
и
.






