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