Power set

From Wikipedia, the free encyclopedia
For the search engine developer, see Powerset (company).
The elements of the power set of {x, y, z} ordered with respect to inclusion.

In mathematics, the power set (or powerset) of a set S is the set of all subsets of S, including the empty set and S itself.[1] 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.[2] The powerset of S is variously denoted as P(S),