Proposition 1.1.2.  Let S be a set. Then:
∅ ⊆ S
Proof.  Let x ∈ ∅.
⇒def ↯
References.