Упорядоченная пара — запись, указывающая на два объекта и , и фиксирующая порядок, в котором они указаны[1]. Системы оснований математики, например теория множеств, позволяют дать формальное определение . На основе понятия упорядоченной пары можно построить обобщающее его понятие упорядоченного набора — кортежа.
Если заданы два элемента и , то множество называется упорядоченной парой и обозначается . При этом элемент называется первым элементом, а элемент — вторым элементом пары[2].
В формальной математике первый элемент упорядоченной пары называется также первой координатой или первой проекцией и обозначается . Аналогично второй элемент пары называется второй координатой или второй проекцией и обозначается [3].