New function is_subset_of().