幂集， 是原集合中所有的子集，包括全集和空集，构成的集族。

可数集是最小的无限集； 它的幂集和实数集对应，是不可数集。不是所有不可数集都和实数集等势，集合的势可以无限的大。如实数集的幂集也是不可数集，但它的势比实数集大。