半格

设是一个偏序集，若对于任意的，都有最小上界（并），或者对于任意的，都有最大下界（交），则称构成一个半格。

也可以将半格定义为一个代数结构。一个半格是一个代数结构或，其中和如同在格的定义中所述。

 半格是满足运算是幂等的和交换的半群。

例子

B