#?SuikaWiki/0.9
[1] [CODE(math)[[[集合]] [VAR[X]] の[DFN[[RUBY[冪集合][べきしゅうごう][power set]]]] = [VAR[P]] ([VAR[X]]) = 2[SUP[[VAR[X]]]] := {[VAR[Y]] | [VAR[Y]] は [VAR[X]] の[[部分集合]]}]]

[2] 例:
[CODE(math)[[VAR[X]] := {0, 1}]] のとき、
[CODE(math)[2[SUP[[VAR[X]]]] = {[[φ]], {0}, {1}, {0, 1}}]]