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