Википедия

Отношение порядка: различия между версиями

Интерактивная навигация по истории
[отпатрулированная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
м откат правок 176.32.5.87 (обс.) к версии 94.29.44.111
Строка 21:
то получим определение ''строгого'', или ''антирефлексивного частичного порядка'' (обозначается обычно символом <math>\prec</math>).
 
Замечание. Одновременная антирефлексивность и транзитивность отношения влечёт антисимметричностьасимметричность. Поэтому отношение является ''отношением строгого порядка'' тогда и только тогда, когда оно антирефлексивно и транзитивно.
 
В общем случае, если <math>R</math> — транзитивное, антисимметричное отношение, то
Источник — https://ru.wikipedia.org/wiki/Отношение_порядка