是一個偏序集,若對於任意的都有最小上界(並),或者對於任意的都有最大下界(交),則稱構成一個半格

也可以將半格定義為一個代數結構。一個半格是一個代數結構,其中如同在的定義中所述。

例子

編輯