定義介紹
無關子代數族(independent family of subalgebra)一種特殊的子代數集合.布爾代數A的一個子代數族，設(BW E，是對於任何正整數n，若I中i}l),i(2),w ,i(n)兩兩互異，且bilk)是Bilk)中的非零元素，則在A中就有bi(1) } bi(2)·... o b<<n}}0，則稱(B; ); E，是無關子代數族.無關子代數自然出現在自由布爾代數中，設F在UcF上是自由的，且<U,);E，是U的兩兩不相交的子集族，那么F的子代數<U)就構成無關子代數族，這裡<U,)表示由以生成的子代數.
