自足算子

自足算子或自足連結詞是在一特定類的算子中只靠自身就能生成所有這些算子的算子 。 在邏輯中 ， 它是足夠生成所有布爾值函數的一個邏輯算子 ， ， 這裏的 是一個任意集合而 是一個通用的 2 - 元素集合 ， 典型爲 ， 特別是生成所有的有限布爾函數 ， 。