Empty Set is Subset of Power Set

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.

Also see

 * Empty Set is Element of Power Set