定义与命题2