Empty Set is Element of Power Set

Theorem
The empty set is an element of all power sets:


 * $\forall S: \O \in \powerset S$

Also see

 * Set is Element of its Power Set