喺集合論入面,一個集嘅冪集係指佢所有嘅子集所組成嘅集合。
一個集合 A 嘅冪集係指佢所有嘅子集組成嘅集合,符號上就係 P(A):={B:B⊂A}{\displaystyle {\mathcal {P}}(A):=\{B:B\subset A\}} 。舉個例,如果 A={0,1}{\displaystyle A=\{0,1\}} ,咁 A 嘅冪集就係:P(A)={{},{0},{1},{0,1}}{\displaystyle {\mathcal {P}}(A)=\{\{\},\{0\},\{1\},\{0,1\}\}} 。
冪集公理就係講如果一個集 A 存在嘅話,佢嘅冪集都存在。