導出代數

在抽象代數中 ， 導出代數是如下標識 ( signature ) 的代數結構 < A, ·, +,', 0, 1, D > 這裏的 < A, ·, +,', 0, 1 > 是布爾代數而 D 是一元算子導出算子 ， 它滿足如下恆等式: 0D = 0 xDD ≤ x + xD ( x + y ) D = xD + yD xD 叫做 x 的導出 ( derivative ) 。 導出代數爲拓撲學中導集算子提供代數抽象 。 它還爲模態邏輯 wK4 = K + p ∧ □ p → □ □ p 扮演布爾代數對普通命題邏輯所扮演的角色 。