In mathematics, given a set S, the power set (or powerset) of S, written , P(S), ℘(S) or 2, is the set of all subsets of S. In axiomatic set theory (as developed e.g. in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set.
Any subset F of is called a family of sets over S.
If S is the set {x, y, z}, then the complete list of...