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