Boolean algebra Theorem(Stone's Representation Theorem, 1936) Every finite Boolean algebra is isomorphic to the boolean algebra of subsets of some finite set s corollary Every finite Boolean algebra has 2n elements for some n.Boolean Algebra Theorem (Stone’s Representation Theorem, 1936) Every finite Boolean algebra is isomorphic to the Boolean algebra of subsets of some finite set S. Corollary Every finite Boolean algebra has 2 n elements for some n. Yi Li (Fudan University) Discrete Mathematics March 6, 2012 14 / 1