set: implement is_subset