冪集

喺集合論入面，一個集嘅冪集係指佢所有嘅子集所組成嘅集合。

定義 
一個集合 A 嘅冪集係指佢所有嘅子集組成嘅集合，符號上就係 。舉個例，如果 ，咁 A 嘅冪集就係：。

冪集公理就係講如果一個集 A 存在嘅話，佢嘅冪集都存在。

性質 

任何集嘅冪集都有空集，因爲空集係任何集嘅子集。
 空集嘅冪集有一個元素：

集合