4.1定义与命题详解