To podejście znajduje swoje odzwierciedlenie w językach programowania komputerów, gdzie można skonstruować listę elementów za pomocą zagnieżdżonych par uporządkowanych: lista oznacza Język Lisp używa tego typu list jako podstawowej struktury danych.
Za pomocą pojęcia pary uporządkowanej można zdefiniować indukcyjnie kolejno trójki, czwórki, piątki... n-tki uporządkowane. W żargonie informatycznym pojęcia te występują zbiorczo pod nazwą krotek (n-elementowych).
Dla n-tkę uporządkowaną
definiuje się jako parę uporządkowaną
lub
Do celów technicznych można przyjąć umowę, że
oraz
Praktyczną wadą tak zdefiniowanej n-ki, w przypadku gdy używana jest definicja pary, która zawiera duplikaty elementów pary (np. po prawej stronie równości używa dwa razy elementu 'a') polega na tym, że długość formuł końcowych rośnie wykładniczo w stosunku do n.
n-ka oparta na ciągu
n-ka zdefiniowana jako poniższy zbiór par o postaci gdzie to pozycja elementu
zbiór ten jednocześnie jest wykresem pewnej funkcji definiującej ciąg (tj. , takiej że , gdzie , , oraz dla pewnego zbioru ).
Przypisy
Kategoria:Teoria mnogości