定义与命题(2)