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

定義

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

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

性質

  • 任何集嘅冪集都有空集,因爲空集係任何集嘅子集。
  • 空集嘅冪集有一個元素: