离散数学定义定理(下)