这种定义法是中学数学中最常用的定义方法,该法即按公式:
“邻近的属+种差=被定义概念”下定义
其中,种差是指被定义概念与同一属概念之下其他种概念之间的差别,即被定义概念具有而它的属概念的其他种概念不具有的属性。
“平行四边形”的定义为:两组对边分别平行的四边形叫做平行四边形。
这是一种给出概念外延的定义法,又叫归纳定义法.
例如,整数和分数统称为有理数;正弦、余弦、正切和余切函数叫做三角函数;椭圆、双曲线和抛物线叫做圆锥曲线;逻辑的和、非、积运算叫做逻辑运算等等,都是这种定义法。
揭示外延的定义方法还有一种特殊形式,即外延的揭示采用约定的方法,因而也称约定式定义方法。例如
就是用约定式方法定义的概念。