In the case of the empty set, it vacuously belongs to every subset in existence, the empty subset even belongs to the empty subset. It is sort of like the logical proposition if A is false then the if A then B statement is vacuously true, intuitively it is hard to understand but thats why most definitions state that the empty set is vacuously a subset of every set.