喺集合論入面，一個集嘅冪集係指佢所有嘅子集所組成嘅集合。
一個集合 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 存在嘅話，佢嘅冪集都存在。
。舉個例，如果 
，咁 A 嘅冪集就係：
。
