Empty Set is Subset of All Sets

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

That is:


 * $\forall S: \varnothing \subseteq S$