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