Преглед на кода на Наредена n-орка

'''Наредена ''n''-орка'''<ref name="lexmath">„Лексикон Математика“, Георги Симитчиев, Георги Чобанов, Иван Чобанов, ИК Абагар, София, 1995, ISBN 954-584-146-Х, стр. 150 – 151</ref> (още: ''n''-торка) е [[Списък на математически понятия|термин]] в [[математика]]та, с който се означава набор от краен брой елементи на дадено [[множество]] ''A'', между които е въведена [[наредба]] и самият запис посочва реда на елементите: първи, втори, ''n''-ти (''n'' &isin; [[цяло число|&#8484;]], ''n'' > 0).<ref name="lexmath" />

Формалната дефиниция се дава от изображението ''f''&nbsp;:&nbsp;[1,&nbsp;2,&nbsp;...,&nbsp;''n'']&nbsp;→&nbsp;''A''.<ref name="lexmath" />

Съществува само една 0-орка, празната редица, [[празното множество]] &empty;. Наредената ''n''-орка се дефинира [[Математическа индукция|индуктивно]], използвайки конструкцията на [[наредена двойка|наредената двойка]].

Обикновено наредените ''n''-орки се изписват оградени в скоби, като елементите са разделени помежду си със запетаи: "<math>(\text{ })</math>", но понякога се ползват и други видове скоби като квадратни "[ ]" или ъглови "< >". Фигурните скоби "{ }" се ползват само при дефинирането на [[масив]]и в някои програмни езици, например [[Java]], но не и в математическите изрази, тъй като са запазени за стандартната нотация на множествата.

== Свойства ==
Общото правило за еквивалентност на две ''n''-орки гласи:
: <math>(a_1, a_2, \ldots, a_n) = (b_1, b_2, \ldots, b_n)</math> [[тогава и само тогава когато]] <math>a_1=b_1,\text{ }a_2=b_2,\text{ }\ldots,\text{ }a_n=b_n.</math>

Така ''n''-орката притежава свойства, които я отличават от [[множество]]то.
# ''n''-орката може да съдържа множество инстанции на един и същ елемент, поради което ''n''-орките <math>(1,2,2,3)</math> и <math>(1,2,3)</math> са различни, въпреки че множествата <math>\{1,2,2,3\}</math> и <math>\{1,2,3\}</math> съвпадат.
# Елементите на ''n''-орката са наредени: <math>(1,2,3) \neq (3,2,1)</math>, за разлика от множествата <math>\{1,2,3\} = \{3,2,1\}</math>.
# ''n''-орките имат краен брой елементи, докато множествата могат да бъдат [[Безкрайно множество|безкрайни]], в това число [[изброимо множество|изброими]] или [[неизброимо множество|неизброими]].

== Източници ==
<references />
[[Категория:Теория на множествата]]