# Power set

 related topics {math, number, function}

In mathematics, the power set (or powerset) of any set S, written $\mathcal{P}(S)$, P(S), (S) or 2S, is the set of all subsets of S, including the empty set and S itself. 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 $\mathcal{P}(S)$ is called a family of sets over S.

## Contents

### Example

If S is the set {x, y, z}, then the subsets of S are:

• {} (also denoted $\varnothing$, the empty set)
• {x}
• {y}
• {z}
• {x, y}
• {x, z}
• {y, z}
• {x, y, z}

and hence the power set of S is

### Properties

If S is a finite set with |S| = n elements, then the power set of S contains $|\mathcal{P}(S)| = 2^n$ elements.[1]

Cantor's diagonal argument shows that the power set of a set (whether infinite or not) always has strictly higher cardinality than the set itself (informally the power set must be larger than the original set). In particular, Cantor's theorem shows that the power set of a countably infinite set is uncountably infinite. For example, the power set of the set of natural numbers can be put in a one-to-one correspondence with the set of real numbers (see cardinality of the continuum).

Full article ▸

 related documents Antiderivative Liouville number Hypercomplex number Boolean algebra (structure) Finite difference Positive-definite matrix Stone–Weierstrass theorem Blackboard bold Yoneda lemma Julia set Heapsort Morphism Gamma function Separation axiom Polytope Cauchy's integral formula Tychonoff space Even and odd permutations Cardinality Max-flow min-cut theorem Supervised learning Solvable group Quine (computing) Banach fixed point theorem Inverse limit Integer factorization Topological group Line integral Linear equation Probability space