完全格

完全格，是在其中所有子集都有上確界(並)和下確界(交)的偏序集。出現於數學和計算機科學的很多套用中。

在數學中，完全格是在其中所有子集都有上確界(並)和下確界(交)的偏序集。完全格出現於數學和計算機科學的很多套用中。作為格的特殊實例，在次序論和泛代數中都有所研究。
完全格一定不能混淆於完全偏序(cpo)，它構成嚴格的更加一般的一個偏序集合類別。更特殊的完全格是完全布爾代數和完全Heyting代數(locale)。