Direct proof of empty set being subset of every set Recently I finished my first pure mathematics course but with some intrigue about some proofs of definitions by contradiction and contrapositive but not direct proofs (the existence of infinite primes for example), I think most of them because the direct proof extends away from a first mathematics course or the proofs by contradiction/contrapositive are more didactic. The one that most bothers me in particular is the demonstration that the empty set is a subset of every set, and it is unique. I understand the uniqueness and understand the proof by contradiction:
"Suppose $\emptyset \subsetneq A$ where $A$ is a set. So it exists an element $x \in \emptyset$ such that $x \notin A$ wich is absurd because $\emptyset$ does not have any elements by definition."
but I would like to know if there exists a direct proof of this and if indeed extends from a first course. Thanks beforehand.

Yes, there's a direct proof:
The way that we show that a set $A$ is a subset of a set $B$, i.e. $A \subseteq B$, is that we show that all of the elements of $A$ are also in $B$, i.e. $\forall a \in A, a\in B$. 
So we want to show that $\emptyset \subseteq A$. So consider all the elements of the empty set. There are none. Therefore, the statement that they are in $A$ is vacuously true: $\forall x \in \emptyset, x \in A$. So $\emptyset \subseteq A$.
