# Empty Set is Subset of Power Set

Jump to navigation Jump to search

## Theorem

The empty set is a subset of all power sets:

$\forall S: \O \subseteq \powerset S$

## Proof

Follows directly from Empty Set is Subset of All Sets.

$\blacksquare$