集合概念、性质