Theorem 4.1: An empty set is a subset of any set.

proof: Let A be a set and let E be an empty set. We must show that

If not then by the contrapositive of Definition 1.1, there exists an element of E which is not an element of A. But E is an empty set, so by definition has no elements a contradiction.