從屬差異定义是内涵定义的一种 ,它由两部分组成:
- 属 (或科):作为新定义一部分的现有定义;具有相同属性的所有定义均被视为该属的成员。
- 差异 :同属中未有提供的定义部分。
以下两个定义為例:
- 三角形 :具有三个直线边界的平面图形。
- 四边形 :具有四个笔直边界的平面图形。
这些定义可以表示为一个属和两个不同之处 :
- 一属
- 两个区别 :
- 三角形的差异 :“具有3个笔直的边界边”。
- 四边形的差异 :“具有4个笔直的边界边”。
在亚里斯多德 (384-322 BCE)之前,就使用属和差异来定义。 [1]