Empty Set is Element of Power Set

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


 * $\forall S: \varnothing \in \mathcal P \left({S}\right)$