# Proof:∅ ⊆ A

Proof: ∅ ⊆ A
This claim is vacuously true, since there are no elements of the empty set. Another more convoluted way of saying the same thing: choose an arbitrary element . Then we have that (by assumption) and (by definition of ). This is a contradiction, which completes this part of the proof (and thus the whole proof).