Изменения

'''Упорядоченное множество''' <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>.