设$S$是一个集合，$|S|=d$。求$S$的幂集$P$。按下面的步骤： \\begin{enumerate} \\item 显然，空集$\\emptyset \\in P$。记只含空集的幂集为$P_0$。 \\item 在$S$中任取一元$s_1$，加入到$P_0$中的集合中来得到$P_1$。显然$P_0 \\subset P_1$ 即对任意$p \\in P_0$，$p \\in P_1$，且$p \\cup \\{s_1\\} \\in P_1$。可见加一元之后，元素数量加倍。 \\item 类似第二步，在$S \\setminus \\{s_1\\}$中再取一元$s_2$加到$p \\in P_1$中得一集与$P_1$之并得$P_2$。 \\end{enumerate} 依次执行下去，直到取完$S$中的全部元素，最后得到$P_d$即为幂集。 可以看出，$|P_i| = 2^i$；于是$|P| = 2^d$。 \\vskip 1cm 另外可用组合来求得$|P|$。从$S$中取1个元素有$\\binom{d}{1}$个；取2个有$\\binom{d}{2}$个，依此，得 $$ |P| = \\binom{d}{1} + \\binom{d}{2} + \\cdots + \\binom{d}{d} = (1 + 1)^d = 2^d $$