Википедия

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

Интерактивная навигация по истории
[отпатрулированная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
м откат правок 37.113.251.104 (обс.) к версии Alexei Kopylov
Метка: откат
→‎Строгий порядок: там не антисимметричность, а ассиметричность, источник https://en.wikipedia.org/wiki/Total_order#Strict_total_order > is an associated asymmetric (hence irreflexive) relation http://mathworld.wolfram.com/StrictOrder.html не путайте людей пожалуйста!
Строка 21:
то получим определение ''строгого'', или ''антирефлексивного частичного порядка'' (обозначается обычно символом <math>\prec</math>).
 
Замечание. Одновременная антирефлексивность и транзитивность отношения влечёт антисимметричностьассимметричность. Поэтому отношение является ''отношением строгого порядка'' тогда и только тогда, когда оно антирефлексивно и транзитивно.
 
В общем случае, если <math>R</math> — транзитивное, антисимметричное отношение, то
Источник — https://ru.wikipedia.org/wiki/Отношение_порядка