导出代数 在抽象代数中导出代数是如下标识signature的代数结构 A      D 这里的 A      是布尔代数而 D 是一元算子导出算子它满足如下恒等式 D   xDD  x  xD x  yD  xD  yD xD 叫做 x 的导出derivative导出代数为拓扑学中导集算子提供代数抽象它还为模态逻辑 wK  K  pp  p 扮演布尔代数对普通命题逻辑所扮演的角色