empty set is a subset of every set