48
правок
Изменения
Нет описания правки
{{Определение
|definition = Если два комбинаторных объекта, различающихся только порядком элементов, считаются различными, то они называются '''Упорядоченным множествомупорядоченными''' называется множество, на элементах которого установлено отношение, обладающее следующими свойствами:1. Для любых двух элементов <tex>a</tex> и <tex>b</tex> данного множества существует только одно из следующих соотношений: <tex>a < b, ~a > b, ~a = b</tex>2. Для любых трех элементов данного множества <tex>a, b, c</tex>: <tex>~(a < b</tex> & <tex>b < c) => a < c</tex>
}}