冪集 数学上集合的冪集英語power set定義為由該集合全部子集为元素構成的集合给定集合 S displaystyle S 其幂集 P  S  displaystyle mathcal PS 或作  S displaystyle S 以符号表示即为 P  S    U  U  S  displaystyle mathcal PSUUsubseteq S  在公理集合论例如ZFC集合论中幂集公理假定了任何集合的幂集均存在 P  S  displaystyle mathcal PS 的任何子集合 F displaystyle mathcal F 称为 S displaystyle S 上的集族