定义

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