完全布尔代数和完全海廷代数（"locale"）。
形式定义.偏序集合("L", ≤)是完全格，如果"L"的所有子集"A"在("L", ≤)中都有最大下界（下确界，交）和最小上界（上确界，并）二者。它们被表示为：注意在"A"是空集的特殊情况下，L的任何元素都是空集的上界和下界，"A"的交将是"L"的最大元素。类似的，空集的并生成最小元素。因为定义还确保了二元交和并的存在，完全格因为形成了特殊种类的有界格。上述定义的更多蕴涵在关于序理论中完备性性质的文章中讨论。