展开 集合a是集合b的充要条件