21
правка
Изменения
Нет описания правки
{{Определение
|definition =
'''Упорядоченное множество''' <tex>Set</tex> представляет собой коллекцию элементов <tex>elem</tex>, каждому из которых присваивается определенный ключ <tex>key</tex>, отвечающий за порядок этого элемента в множестве. Бинарное отношение <tex>R</tex> на упорядоченном множестве <tex>Set</tex> обладает следующими свойствами:* является [[Антисимметричное отношениепорядка|Антисимметричностьотношением порядка]]: <tex>\mathcal {8} x,y \in A \ (xRy \land yRx \Rightarrow x = y)</tex>;* [[Транзитивное отношение|Транзитивность]]: <tex>\mathcal {8} x,y,z \in A \ (xRy \land yRz \Rightarrow xRz)</tex>.
}}
==Операции над упорядоченным множеством==
Функция <tex>\mathrm {successor(Set, elem)}</tex> возвращает указатель на элемент, стоящий после элемента <tex>elem</tex> множества <tex>Set</tex>.
==Пример упорядоченного множества:Примеры== Примерами упорядоченных множеств могут служить такие структуры как деревья* Графы;* Пустое множество <tex> \varnothing </tex>;* Множество натуральных чисел <tex> \mathbb N </tex>.
== Литература ==