Структура конечных дистрибутивных решёток

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