集合的幂集（Power Set），定义为由该集合全部子集为元素构成的集合。数学上，给定集合 formula_1，其幂集 formula_2（或作formula_3）以符号表示即为在公理集合论（例如ZFC集合论）中，幂集公理假定了任何集合的幂集均存在。formula_2的任何子集合formula_6称为formula_1上的集族
例子.若formula_1是集合formula_9，则formula_1的全部子集如下：因此formula_1的幂集为Sectio