幂集合

集合论中的一个基本概念。一集合S的所有子集合汇聚在一起所组成的集合，叫做S的幂集合，并记做P(S)。

子集合 对于任意给定的集合S而言，如果集合S的每一元素都是S的元素，就称S为S的一子集合，并且记做SS。这可以有下述定义：

不难证明，对于任一有穷集合S而言(不妨假定S有n个元素)，P(S)有2个元素，因为S的子集合恰有2个。对于无穷集合S而言，由康托尔定理，仍然有(见基数)。