Впорядкована пара

Шаблон:Otheruses Шаблон:UniboxВпорядкована пара — в теорії множин така пара елементів a та b, для якої, на відміну від двоелементної множини, задається черговість (порядок) цих елементів. Для впорядкованої пари (a, b)=(b, a) ⇔ a = b, тобто в загальному випадку (а, b) ≠ (b, a).

Дві впорядковані пари $(a_1,b_1)$ та $(a_2,b_2)$ вважаються рівними, якщо для них одночасно $a_1=a_2$ і $b_1=b_2$.

Впорядковані пари можна розглядати як множини, якщо визначити їх як $(a,b)=\{a,\{a,b\}\}$. Впорядковані пари можна розглядати як послідовності довжини 2.

Впорядкована пара є окремим випадком кортежа. Множина з впорядкованих пар є результатом декартового добутку двох множин.

Джерела

• Шаблон:Куратовский.Мостовский.Теория множеств