这里的 是布尔代数而 是一元算子导出算子，它满足如下恒等式: x 叫做 x 的导出(derivative)。导出代数为拓扑学中导集算子提供代数抽象。它还为模态逻辑 "wK4" = "K" + "p"∧□"p" → □□"p" 扮演布尔代数对普通命题逻辑所扮演的角色。