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

Proof
$$ $$