定义是通过列出一个事务或者一个物件的基本属性来描写或者规范一个词或者一个概念的意义。被定义的事务或者物件叫做被定义项，其定义叫做定义项。

比如“一个单身汉是一个未婚男子”这个定义中“单身汉”是被定义项，“未婚男子”是定义项。定义中的“一个”和“是”均可以使用符号取代，比如使用:=这个符号，上面这个定义可以转写为：“单身汉:=未婚男子”。一般来说一个定义像上面这个例子一样往往是表达被定义项与定义项之间的等同的句子。