完全格

完全格又稱完備格 ， （ complete lattice ） ， 在數學中是代表所有子集都有上確界 （ 並 ） 和下確界 （ 交 ） 的偏序集 。 完全格出現於數學和計算機科學的很多應用中 。 作爲格的特殊實例 ， 在序理論和泛代數中都有所研究 。 完全格一定不能混淆於完全偏序 （ cpo ） ， 它構成嚴格的更加一般的一個偏序集合類別 。 更特殊的完全格是完全布爾代數和完全海廷代數 （ locale ） 。