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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Впорядкована пара — в теорії множин така пара елементів 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.

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