Словарь по логике

 

Диаграмма Хассе
Способ визуального представления упорядоченных множеств в виде направленного графа. Вершины графа представляют элементы данного множества, связи проводятся только между ближайшими (относительно данного порядка) вершинами. Пути из вершины в саму себя также не изображаются. Часто (в т.ч. в нашей системе) направление связей не отмечается и подразумевается, что они направлены снизу вверх (в нашей системе) или слева направо.
Строгий частичный порядок восстанавливается транзитивным замыканием своей диаграммы Хассе, нестрогий – транзитивным замыканием c добавлением диагонального отношения.

© Автор статьи.