7.2.1定义与命题