べき集合

デジタル大辞泉

べき‐しゅうごう〔‐シフガフ〕【^×冪集合】

読み方：べきしゅうごう

ある集合のすべての部分集合の集合。集合Mの冪集合を2^Mと表す。

ウィキペディア

冪集合

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/11/07 10:21 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "冪集合" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2016年1月）

S = {x, y, z} の冪集合 P(S) = { Φ, {x}, {y}, {z}, {x, y}, {y, z}, {z, x}, {x, y, z} } のハッセ図。要素数は 2³ = 8 である。

冪集合（べきしゅうごう、英: power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。

集合と呼ぶべき対象を公理的にかつ構成的に与える公理的集合論では、新たに作られた原体の冪集合もしくはそれに準ずる複数の冪集合が、それぞれの連続性に関わらず集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。

記法

集合 ${\displaystyle S}$ カテゴリ