离散数学定义定理(下) 第3页