ula_2属。 因此，以下内容： 可以重塑为： 
结构体.定义的属提供了一种指定is-a关系的方法 ： 定义的差异的非属部分提供了一种指定具有关系的方法 ： 当用属和差异构造定义系统时，可以将定义视为形成有向无环图；最笼统的定义是 ;沿着思考路径每个节点有更多的区化（或多"个"派生），并且没有一个节点接替为一个大多数分化（或派生）定义。 当定义S是其每个接替定义时（即S至少具有一个接替定义，而S的每个直接接替定义是最有区别的定义），那么S通常被称为其每个接替