定义与命题B)