内部代数 在抽象代数中内部代数是采用了集合的拓扑内部概念的特定类型的代数结构内部代数之对于拓扑和模态逻辑 S 如同布尔代数之对于集合论和普通命题逻辑内部代数形成了模態代數的一个簇