格是数学中一类特殊的偏序集，其任意两个元素都存在唯一的上确界与下确界。 作为基础数学结构，可以通过偏序关系或代数运算两种方式定义前者要求元素间存在确界运算，后者则通过满