Отношение частичного упорядочения

Материал из WikiGrapp
Версия от 17:55, 8 декабря 2009; Glk (обсуждение | вклад) (Создана новая страница размером '''Отношение частичного упорядочения''' (''Partial order relation'') - рефлексивное (<math>a \...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Отношение частичного упорядочения (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]) отношение.

Литература

[Оре]