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