# Category:Power Set

This category contains results about power sets.

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$.

## Subcategories

This category has the following 7 subcategories, out of 7 total.