Лекция: Решетки

Решетки — это частично-упорядоченные множества, отношения порядка на которых, удовлетворяют ряду дополнительных требований.

чум- частично-упорядоченноемножество, т.е. множество с определенным на нем частичным порядком.

1.8.1. Диаграммы Хассе

Диаграммы Хассе используются для того, чтобы за счет принятых по умолчанию соглашений облегчить графическое представление частично-упорядоченных множеств.

Пример изображения частичного порядка (устанавливаемого отношением включения) для множества

{Æ, {0}, {1}, {0,1}}

Æ {0} {0,1}