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