Empty Set is Subset of All Sets

Theorem
The empty set $\O$ is a subset of every set (including itself).

That is:


 * $\forall S: \O \subseteq S$