完全格

“格”一种特殊的偏序集。在许多数学对象中，所考虑的元素之间具有某种顺序。在数学中，完全格是在其中所有子集都有上确界(并)和下确界(交)的偏序集。完全格出现于数学和计算机科学的很多应用中。作为格的特殊实例，在次序论和泛代数中都有所研究。