完全格 完全格又稱完備格英語complete lattice在数学中是代表所有子集都有上确界并和下确界交的偏序集完全格出现于数学和计算机科学的很多应用中作为格的特殊实例在序理论和泛代数中都有所研究 完全格一定不能混淆于完全偏序cpo它构成严格的更加一般的一个偏序集合类别更特殊的完全格是完全布尔代数和完全海廷代数locale