定義介紹,元素介紹,
定義介紹
對偶原子(dual atom) sub(B)中對偶原子的簡稱，這裡silb (B)表示布爾代數B的子代數所構成的格.sub (B)的對偶原子C，實即B的極大子代數，滿足:C是B的真子代數，並且無真子代數介於C與B之間.如果B的每一個真子代數均含於sub(B)的一個對偶原子中，則稱sub (B)是對偶原子的.sub (B)及其對偶原子具有性質:
元素介紹
1.如果sub<B)是有補的，即sub(B)中每個元素都有補元素，則B是收縮布爾代數.
2.sub(B)中每個對偶原子是B的對偶子代數.
