半格

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

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

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

例子[编辑]