半格

维基百科,自由的百科全书
跳转至: 导航搜索

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

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

例子[编辑]