# Category:Power Set

The power set of a set $S$ is the set defined and denoted as:
$\powerset S := \set {T: T \subseteq S}$
That is, the set whose elements are all of the subsets of $S$.