任意集合的子集合）。若formula_1是有限集，有formula_31个元素，那么formula_1的幂集有formula_33个元素。我们也可以考虑集合元素为无限大的幂集，见康托尔定理。集合formula_1 的幂集，加上并、交和补运算，就得出布尔代数的原始例子。事实上，我们可以证明所有有限布尔代数都是同构于某有限集的幂集的布尔代数。这结果虽然对无穷布尔代数不成立，但是所有无穷布尔代数都是某个幂集布尔代数的子代数。集合formula_1 的幂集与对称差运算构成一个阿贝尔群（其中空集为幺元，每个