Yes, the empty set is a subset of every set. It seems paradoxical but consider the following. If A is a subset of B, then all elements of A must be in B — inversely, no element of A may be outside B. This is true for the empty set: all its elements (of which there are none) are in a given set B, and none of its elements are outside B. Read more