72
правки
Изменения
м
→Сильный подпорядок
|definition='''Сильный подпорядок''' {{---}} такой подпорядок, на котором присутствует [[Отношение связности, компоненты связности |отношение связанности]].
}}
Сильный подпорядок <tex>&\le\; \in XxXX\times X</tex> обладает рядом следующих свойств:* [[Транзитивное отношение|Транзитивность]]: <tex>\forall a, b, c \in X:</tex>, если <tex>a≤b</tex> и <tex>b≤c \Rightarrow a≤c</tex>.* [[Отношение связности, компоненты связности |Связанности]]: <tex>\forall a, b \in X:</tex>выполнимо либо <tex>a≤b</tex>, либо <tex>b≤a</tex>.
Если в любом сильном подпорядке <tex>\exists a,b : a≤b</tex> и <tex>b≤a</tex>, то на нем определено [[Отношение эквивалентности |отношение эквивалентности]].
Поскольку операция определена для всех элементов, такие подпорядки еще называют '''отношением предпочтения'''.
=== Сравнения ===
