半格

维库，知识与思想的自由文库

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

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

[编辑] 例子

这是一个与数学相关的小作品，您可以帮助维库扩充其内容。