Set集合的去重原理推断2