剩餘格

在抽象代數中 ， 剩餘格是既爲格又爲幺半群的代數結構 ， 使得幺半群乘法的每個自變量都是關於這個格次序的伽羅瓦連接的一極 。 它的一般概念是Ward和Dilworth在1939年介入的 。 某些例子先於一般概念而存在 ， 包括布爾代數 、 Heyting代數 、 剩餘布爾代數 、 關係代數和MV - 代數 。 剩餘半格省略了交運算 ∧ ， 比如克萊尼代數和作用代數 。