4.1.1 集合论基本概念