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