3.7.1 集合的定义