the empty set is a subset of any sets.