empty set is always a subset