7.2.1定义与命题(1)