两个集合的交集是这两个集合并集的子集