定义与命题(1)