两个集合的并集，一定比这两个集合都大。