Граф строгого частичного упорядочения

Материал из WEGA
Перейти к навигации Перейти к поиску

Граф строгого частичного упорядочения (Graph of a strict partial order) - бесконтурный транзитивный орграф, вершины которого суть элементы частично упорядоченного множества, а дуги выражают наличие отношения частичного порядка между элементами множества. На практике для наглядного представления частично упорядоченных множеств используются так называемые диаграммы Хассе, представляющие собой транзитивную редукцию Г.с.ч.у.

Литература

[Оре]