半格

维基百科，自由的百科全书

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

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

[编辑] 例子