Is the null set a subset of every set? Ever since day one of of my Mathematical Logic course, this fact has really bothered me. I cannot wrap my head around how an empty set is a subset of every possible set. Could someone kindly explain how this is true? Any help is appreciated! 

If you're comfortable with proof by contrapositive, then you may prefer to prove that for any set $A,$ if $x\notin A,$ then $x\notin\emptyset$. But of course, $x\notin\emptyset$ is trivial since $\emptyset$ has no elements at all. Hence, $x\notin A\implies x\notin\emptyset,$ so by contrapositive, $x\in\emptyset\implies x\in A,$ meaning $\emptyset\subseteq A$.
