定义是蕴含在公理系统之中的概念和命题;定义是对一种事物的本质特征或一个概念的内涵与外延确切而简要的说明;定义不可用含混