半格

设<math>(L, \leq)</math>是一个偏序集，若对于任意的<math>x, y \in L</math>，<math>\{x, y\}</math>都有最小上界（并），或者对于任意的<math>x, y \in L</math>，<math>\{x, y\}</math>都有最大下界（交），则称<math>(L, \leq)</math>构成一个半格。

也可以将半格定义为一个代数结构。一个半格是一个代数结构<math>(L, \vee)</math>或<math>(L, \wedge)</math>，其中<math>\vee</math>和<math>\wedge</math>如同在格的定义中所述。