冪集

數學上 ， 集合的冪集 （ power set ） ， 定義爲由該集合全部子集爲元素構成的集合 。 給定集合 ， 其冪集 （ 或作 ） 以符號表示即爲 。 在公理集合論 （ 例如ZFC集合論 ） 中 ， 冪集公理假定了任何集合的冪集均存在 。 的任何子集合稱爲上的集族 。