In
mathematics, the
power set (or
powerset) of any
set , written ,
P, , or , is the set of all
subsets of , including the
empty set and itself. In
axiomatic set theory (as developed, for example, in the
ZFC axioms), the existence of the power set of any set is postulated by the
axiom of power set.