半格

設是一個偏序集 ， 若對於任意的 ， 都有最小上界 （ 並 ） ， 或者對於任意的 ， 都有最大下界 （ 交 ） ， 則稱構成一個半格 。 也可以將半格定義爲一個代數結構 。 一個半格是一個代數結構或 ， 其中和如同在格的定義中所述 。 半格是滿足運算是冪等的和交換的半群 。