离散数学,集合证明题.