Отношение частичного упорядочения: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Отношение частичного упорядочения''' (''Partial order relation'') - рефлексивное (<math>a \...) |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Отношение частичного упорядочения''' (''Partial order relation'') - | '''Отношение частичного упорядочения''' (''[[Partial order relation]]'') - | ||
рефлексивное (<math>a \leq a</math>), антисимметричное (из <math>a \leq b</math> и <math>b \leq | [[рефлексивное отношение|рефлексивное]] (<math>a \leq a</math>), [[антисимметричное отношение|антисимметричное]] (из <math>a \leq b</math> и <math>b \leq a</math> следует <math> a = b</math>) и [[транзитивное отношение|транзитивное]] (если <math>a \leq b</math> и <math>b | ||
a</math> следует <math> a = b</math>) и транзитивное (если <math>a \leq b</math> и <math>b | \leq c</math>, то <math>a \leq c</math>) отношение. | ||
\leq c</math>, то <math>a \leq c</math>) отношение. | |||
==Литература== | ==Литература== | ||
[Оре] | [Оре] |
Версия от 01:00, 10 декабря 2009
Отношение частичного упорядочения (Partial order relation) - рефлексивное ([math]\displaystyle{ a \leq a }[/math]), антисимметричное (из [math]\displaystyle{ a \leq b }[/math] и [math]\displaystyle{ b \leq a }[/math] следует [math]\displaystyle{ a = b }[/math]) и транзитивное (если [math]\displaystyle{ a \leq b }[/math] и [math]\displaystyle{ b \leq c }[/math], то [math]\displaystyle{ a \leq c }[/math]) отношение.
Литература
[Оре]