Дискретка_Экзамен_Ответы / отн / 3 доминирование, хассе, топ сортировка

1.2.5 Отношения порядка и упорядоченные множества

Рефлексивное антисимметричное транзитивное отношение называется отношением

нестрогого порядка. Иррефлексинвное антисимметричное транзитивное отношение

называется отношением строгого порядка. Отношение порядка может быть полным

(линейным), и тогда оно называется отношением полного или линейного порядка. В

противном случае говорят об отношении частичного порядка. Множество, на котором

определено отношение полного/частичного порядка, называется полностью/частично

упорядоченным.

Двойственным порядком называют отношение <^-1

Топологическая сортировка