Under Boolean algebra , W has the  a set that is closed under the two commutative binary operations and that can be described by any of various systems of postulates all of which can be deduced from the postulates that an identity element exists for each operation, that each operation is distributive over the other, and that for every element in the set there is another element which when combined with the first under one of the operations yields the identity element of the other operation&lt;under the operations of taking intersections and unions, the subsets of a given set form a Boolean algebra
( ( Under ( Boolean algebra ) ) ( , ( W ( has ( ( ( ( ( ( the ( a set ) ) ( that ( is ( closed ( under ( the ( two ( commutative ( binary operations ) ) ) ) ) ) ) ) ) and ) ( that ( can ( be ( described ( by ( any ( of ( ( various systems ) ( of ( postulates ( ( all ( of which ) ) ( can ( be ( ( deduced ( from ( the postulates ) ) ) ( that ( ( an ( identity element ) ) ( exists ( for ( each operation ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) , ) ( ( ( ( that ( ( each operation ) ( is ( distributive ( over ( the other ) ) ) ) ) ) , ) and ) ( that ( ( for ( ( every element ) ( in ( the set ) ) ) ) ( there ( is ( ( another element ) ( which ( ( when ( ( ( combined ( with ( the first ) ) ) ( under ( one ( of ( the operations ) ) ) ) ) ( ( yields ( ( the ( identity element ) ) ( of ( the ( other ( operation < ) ) ) ) ) ) ( under ( ( the operations ) ( of ( taking ( ( intersections and ) unions ) ) ) ) ) ) ) ) ( , ( ( ( the subsets ) ( of ( a ( given set ) ) ) ) ( form ( a ( Boolean algebra ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
(ROOT (S (PP (IN Under) (NP (NNP Boolean) (NNP algebra))) (, ,) (NP (NNP W)) (VP (VBZ has) (NP (NP (DT the) (DT a) (NN set)) (SBAR (WHNP (WDT that)) (S (VP (VBZ is) (VP (VBN closed) (PP (IN under) (NP (DT the) (CD two) (JJ commutative) (NN binary) (NNS operations))))))) (CC and) (SBAR (WHNP (WDT that)) (S (VP (MD can) (VP (VB be) (VP (VBN described) (PP (IN by) (NP (NP (DT any)) (PP (IN of) (NP (NP (JJ various) (NNS systems)) (PP (IN of) (NP (NP (NNS postulates)) (SBAR (WHNP (DT all) (WHPP (IN of) (WHNP (WDT which)))) (S (VP (MD can) (VP (VB be) (VP (VBN deduced) (PP (IN from) (NP (DT the) (NNS postulates))) (SBAR (IN that) (S (NP (DT an) (NN identity) (NN element)) (VP (VBZ exists) (PP (IN for) (NP (DT each) (NN operation)))))))))))))))))))))) (, ,) (SBAR (SBAR (IN that) (S (NP (DT each) (NN operation)) (VP (VBZ is) (ADJP (JJ distributive) (PP (IN over) (NP (DT the) (JJ other))))))) (, ,) (CC and) (SBAR (IN that) (S (PP (IN for) (NP (NP (DT every) (NN element)) (PP (IN in) (NP (DT the) (NN set))))) (NP (EX there)) (VP (VBZ is) (NP (NP (DT another) (NN element)) (SBAR (WHNP (WDT which)) (S (SBAR (WHADVP (WRB when)) (S (S (VP (VBN combined) (PP (IN with) (NP (DT the) (JJ first))) (PP (IN under) (NP (NP (CD one)) (PP (IN of) (NP (DT the) (NNS operations))))))) (VP (VBZ yields) (NP (NP (DT the) (NN identity) (NN element)) (PP (IN of) (NP (DT the) (JJ other) (NN operation) (NN <)))) (PP (IN under) (NP (NP (DT the) (NNS operations)) (PP (IN of) (S (VP (VBG taking) (NP (NNS intersections) (CC and) (NNS unions)))))))))) (, ,) (NP (NP (DT the) (NNS subsets)) (PP (IN of) (NP (DT a) (VBN given) (NN set)))) (VP (VBP form) (NP (DT a) (NNP Boolean) (NN algebra))))))))))))))
Boolean algebra is formed from the subsets of a given set, and under Boolean algebra certain sets are closed underneath two commutative binary options that are described by systems of postulates, which can be calculated from the postulates which identify elements that exist for each specific operation.
( ( ( ( ( ( Boolean algebra ) ( is ( formed ( from ( ( the subsets ) ( of ( a ( given set ) ) ) ) ) ) ) ) , ) and ) ( ( under ( Boolean algebra ) ) ( ( certain sets ) ( are ( closed ( underneath ( ( two ( commutative ( binary options ) ) ) ( that ( are ( described ( by ( systems ( of ( ( postulates , ) ( which ( can ( be ( calculated ( from ( ( the postulates ) ( which ( identify ( elements ( that ( exist ( for ( each ( specific operation ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . )
(ROOT (S (S (NP (NNP Boolean) (NNP algebra)) (VP (VBZ is) (VP (VBN formed) (PP (IN from) (NP (NP (DT the) (NNS subsets)) (PP (IN of) (NP (DT a) (VBN given) (NN set)))))))) (, ,) (CC and) (S (PP (IN under) (NP (NNP Boolean) (NNP algebra))) (NP (JJ certain) (NNS sets)) (VP (VBP are) (VP (VBN closed) (PP (IN underneath) (NP (NP (CD two) (JJ commutative) (NN binary) (NNS options)) (SBAR (WHNP (WDT that)) (S (VP (VBP are) (VP (VBN described) (PP (IN by) (NP (NP (NNS systems)) (PP (IN of) (NP (NP (NNS postulates)) (, ,) (SBAR (WHNP (WDT which)) (S (VP (MD can) (VP (VB be) (VP (VBN calculated) (PP (IN from) (NP (NP (DT the) (NNS postulates)) (SBAR (WHNP (WDT which)) (S (VP (VBP identify) (NP (NP (NNS elements)) (SBAR (WHNP (WDT that)) (S (VP (VBP exist) (PP (IN for) (NP (DT each) (JJ specific) (NN operation)))))))))))))))))))))))))))))) (. .)))