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