英文维基 | 中文维基 | 日文维基 | 草榴社区
自足算子或自足連結詞是在一特定類的算子中只靠自身就能生成所有這些算子的算子。在邏輯中，它是足夠生成所有布林值函數的一個邏輯算子， f : X → B {\displaystyle f:X\to \mathbb {B} } ，這裡的 X {\displaystyle X\!} 是一個任意集合而 B {\displaystyle \mathbb {B} } 是一個通用的 2-元素集合，典型為 B = { 0 , 1 } = { f a l s e , t r u e } {\displaystyle \mathbb {B} =\{0,1\}=\{\mathrm {false} ,\mathrm {true} \}} ，特別是生成所有的有限布林函數， f : B k → B {\displaystyle f:\mathbb {B} ^{k}\to \mathbb {B} } 。
