What is "power set"

n. (context set theory English) The set of all subsets of a set. Notation for a set ''S'': $mathcal\{P\}(S)$ ''or'' 2^''S''

In mathematics, the power set (or powerset) of any set , written , ℘ , , 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.

Any subset of is called a family of sets over .