剩餘布爾代數

在數學中 ， 剩餘布爾代數是其格結構是布爾代數的剩餘格 。 例子包括幺半群乘法選取爲合取的布爾代數 ， 在串接運算之下的給定字母表 Σ 的所有形式語言的集合 ， 在關係複合運算之下的給定集合 X 上所有二元關係的集合 ， 和更一般的在關係複合之下的任何等價類的冪集 。 最初的應用是作爲關係代數中二元關係例子的有限公理化推廣 ， 但是存在不是關係代數的有趣的剩餘布爾代數的例子 ， 比如語言例子 。