显定义

---

通过已知的、在日常生活中被人使用的概念来给引入的某个新概念所下的定义。

这种定义是把某个或亿个已知的基本概念组合起来置换某个处于被定义项的新概念，其目的是要确定或约定新概念的涵义。

显定义可用“D_s=dfDp”的公式表示，其中左边的“D_s”是被定义项，即引入的新概念；右边的“D_p”是定义项，即确定新概念规定性的已知概念，这种把新概念列在逻辑等式的左边，已知概念则列在逻辑等式的右边，我们便称之为显定义。

例如，当用有理数序列来给除法下定义时，并且假定乘法为已知概念，那么它的显定义即为：

存在著一个Z，使得下式成立

据此，我们可以概而言之：凡是使用已知的概念来确定或约定引入新概念涵义的定义，都称之为显定义。