5.2 集合的定义