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