\begin{definition}[Definition:Power Set/Class Theory]
The '''power set''' of a set $S$ is the class of all the subsets of $S$:
:$\powerset S := \set {T: T \subseteq S}$
It is clear from the definition that:
:$T \in \powerset S \iff T \subseteq S$
\end{definition}