自由布爾代數

在數學分支抽象代數中 ， 自由布爾代數是布爾代數 < B, F > ， 使得集合 B 有其中元素叫做生成元的子集 。 生成元滿足下列性質: 不是生成元的每個 B 的元素都可被表達爲生成元的使用 F 的元素的有限組合 ， F 是運算的集合 ； 生成元儘可能的獨立 ， 因爲對從生成元使用 F 中運算形成的有限項成立的任何等式 ， 也要對於所有可能的布爾代數的所有元素成立 。