半格

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

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

例子