Википедия

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

Интерактивная навигация по истории
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Нет описания правки
Строка 5:
 
== Определение и примеры ==
'''Порядком[[Отношение порядка|Отношением порядка]]''', или '''частичным порядком''', на [[Множество|множестве]] <math>M</math> называется [[бинарное отношение]] <math>\varphi</math> на <math>M</math> (определяемое некоторым множеством <math> R_{\varphi} \subset M \times M </math>), удовлетворяющее следующим условиям{{Sfn|Колмогоров|2004|с=36}}:
* ''[[Рефлексивность]]'': <math>\forall a \; (a \varphi a)</math>
* ''[[Транзитивность]]'': <math>\forall a, b, c \; (a \varphi b) \wedge (b \varphi c) \Rightarrow a \varphi c</math>
Источник — https://ru.wikipedia.org/wiki/Частично_упорядоченное_множество