Ogólne
Niech oraz będą dwiema parami uporządkowanymi. Własnością charakteryzującą owo znaczy określającą nieco uporządkowaną jest tożsamość
.Pary uporządkowane mogą posiadać za elementy inne pary uporządkowane. przez to para uporządkowana prawdopodobnie służyć definicji rekurencyjnej krotek (n-tek) uporządkowanych (uporządkowanych list n-elementowych). na przykład trzy uporządkowana znośny zdefiniowana w charakterze , jedna para zagnieżdżona w innej. owo podejście znajduje swoje odwzorowanie w językach programowania komputerów, dokąd można skonstruować listę elementów za pośrednictwem zagnieżdżonych par uporządkowanych: rejestr oznacza . zbiór znaków Lisp używa tego typu list w charakterze podstawowej struktury danych.
Pojęcie pary uporządkowanej odgrywa kluczową rolę w trakcie definiowania iloczynu kartezjańskiego oraz relacji.