Krotka
Z Wikipedii
Krotka (ang. tuple), zwana czasem n-tką albo k-tką, to uogólnienie pary (dwójki), trójki, czwórki, itd. na dowolną liczbę elementów.
Krotka n-elementowa to uporządkowany skończony (n-elementowy) zbiór elementów. Inaczej mówiąc – jest to uporządkowana lista pewnych obiektów. Krotka jest uogólnieniem pojęcia ciągu skończonego, bowiem kolejne elementy krotki nie muszą należeć do tego samego zbioru.
Formalnie, n-elementową krotkę można zdefiniować rekurencyjnie:
- dla n=2 stosujemy definicję pary uporządkowanej (sformułowaną przez Kazimierza Kuratowskiego):
- < a1,a2 > = {{a1},{a1,a2}}
- dla n>2 definiujemy:
- < a1,a2,...,an > = < a1, < a2,...,an > >
Krotki występują jako typy w wielu językach, m.in. językach rodziny ML, Pythonie i Cyclone, są też ważnym pojęciem systemów baz danych (relacyjny rachunek krotek - RRK).
Krotka - specjalistyczne oznaczenie rzędu przy konstrukcji baz danych.