离散数学实验二集合运算设计 第4页