从属差异定义是内涵定义的一种 ，它由两部分组成：

以下两个定义为例：

这些定义可以表示为一个属和两个不同之处 ：

在亚里斯多德 （384-322 BCE）之前，就使用属和差异来定义。

通过扩展现有定义来产生新定义的过程通常称为差异化 （也称为派生）。将现有定义的一部分本身用作新定义的反向过程称为抽象化；新的定义被称为抽象，这是已经从现有的定义中抽出来。

例如，思考以下内容：

该定义的一部分可能会被选中（在此处使用括号）：

在这一部分，可以形成一个抽象：

然后 ，定义正方形可以用该抽象作为其种类进行重塑：

同样，定义正方形可以重新排列，另一部分可以单独选择：

导致以下抽象：

然后，定义正方形可以用该抽象作为其种类进行重塑：

其实，一个平方可以用两种抽象来重塑，其中一种充当属，另一种充当区别：

因此，抽象对于简化定义极为重要。

当多个定义适当配合时，则所有定义同时适用。因此，正方形是矩形属和菱形的成员。在这种情况下，将定义合并为一个属（并且没有差异，如下所示）来表示概念更为方便：

或完全等如：

一般来说， ${\displaystyle n>1}$派生），并且没有一个节点接替为一个大多数分化（或派生）定义。

当定义S是其每个接替定义时（即S至少具有一个接替定义，而S的每个直接接替定义是最有区别的定义），那么S通常被称为其每个接替的种类物，S的每个直接后代通常被称为S物种的个体（或实体）；也就是说，一个人的属称为该人的种类。此外，个体的差异被同义地称为该个体的身份。例如，思考以下定义：

在这种情况下：

如在该示例中一样，身份本身（或其一部分）经常用于指代整个个体，这种现像在语言学中被称为对句法的理解。