从属差异定义是内涵定义的一种 ，它由两部分组成： 以下两个定义为例： 这些定义可以表示为一个属和两个不同之处 ： 在亚里斯多德（384-322 BCE）之前，就使用属和差异来定义。 
区分与抽象.通过扩展现有定义来产生新定义的过程通常称为差异化 （也称为派生）。将现有定义的一部分本身用作新定义的反向过程称为抽象化；新的定义被称为抽象，这是已经从现有的定义中抽出来。 例如，思考以下内容： 该定义的一部分可能会被选中（在此处使用括号）： 在这一部分，