冪集

出自維基百科,自由嘅百科全書

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

定義[編輯]

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

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

性質[編輯]

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