展开 集合的表示法的定义