标签: [离散数学]集合3.1