Power set

The power set of a given set $S$ is the set $\mathcal{P}(S)$ of subsets of that set.

The empty set has only one subset, itself. Thus $\mathcal{P}(\emptyset) = \{\emptyset\}$ .

A set $\{a\}$ with a single element has two subsets, the empty set and the entire set. Thus $\mathcal{P}(\{a\}) = \{\emptyset, \{a\}\}$ .

A set $\{a, b\}$ with two elements has four subsets, and $\mathcal{P}(\{a, b\}) = \{\emptyset, \{a\}, \{b\}, \{a, b\}\}$ .

Similarly, for any finite set with $n$ elements, the power set has $2^n$ elements.

Note that for any set $\displaystyle S$ such that $\displaystyle a \in S$ , $\displaystyle \{ a \} \subseteq S$ , so the power set of any set $\displaystyle S$ has a cardinality at least as large as that of $\displaystyle S$ itself.

Page

Toolbox

Search

Power set

Proof

See Also