8
правок
Изменения
Нет описания правки
|definition =
[[Бинарное отношение]] <tex>R</tex> на множестве <tex>X</tex> называется '''отношением линейного порядка''', если оно является отношением частичного порядка и обладает следующим свойством:
<tex>\forall a \in X \forall b \in X </tex> либо <tex>aRb</tex>, либо <tex>bRa</tex>.
}}
Множество <tex>X</tex>, на котором введено отношение линейного порядка, называется '''линейно упорядоченным'''.