离散数学(集合论部分概念及性质)1