內部代數

在抽象代數中 ， 內部代數是採用了集合的拓撲內部概念的特定類型的代數結構 。 內部代數之對於拓撲和模態邏輯 S4 如同布爾代數之對於集合論和普通命題邏輯 。 內部代數形成了模態代數的一個簇 。