la_3，其中formula_4和formula_5是定义在集合formula_6上的二元运算，且对于所有的formula_7满足：从上述三个公理恒等式可以得出重要的：这些公理断言了("L",formula_4)和("L",formula_5)都是半格。吸收律是唯一交和并都出现了的公理，把格同一对半格区别开来zh-hans:并; zh-hant:并;确保这两个半格正确的交互。特别是，每个半格都是另一个半格的对偶。“有界格”要求交和并都有一个零（neutral）元素，分别习惯叫做1和0。参见半格