查看“︁半格”︁的源代码

{{Otheruses|半幅|subject=数学中的概念|other=摄影中的半格}}

设<math>(L, \leq)</math>是一个[[偏序集]]，若对于任意的<math>x, y \in L</math>，<math>\{x, y\}</math>都有[[最小上界]]（并），或者对于任意的<math>x, y \in L</math>，<math>\{x, y\}</math>都有[[最大下界]]（交），则称<math>(L, \leq)</math>构成一个'''半格'''。

也可以将半格定义为一个[[代数结构]]。一个'''半格'''是一个代数结构<math>(L, \vee)</math>或<math>(L, \wedge)</math>，其中<math>\vee</math>和<math>\wedge</math>如同在[[格 (數學)|格]]的定义中所述。

* [[半格]]是满足运算是[[幂等律|幂等]]的和[[交换律|交换]]的[[半群]]。

==例子==

{{math-stub}}

[[Category:格理论|B]]