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