集合用并集还是逗号表示