更为方便： 或完全等如： 一般来说， formula_1等效定义（每个定义都用一个唯一的属表示）可以重新定义为用formula_2属。 因此，以下内容： 可以重塑为： 
结构体.定义的属提供了一种指定is-a关系的方法： 定义的差异的非属部分提供了一种指定具有关系的方法 ： 当用属和差异构造定义系统时，可以将定义视为形成有向无环图；最笼统的定义是 ;沿着思考路径每个节点有更多的区化（或多"个"派生），并且没有一个节点接替为一个大多数分化（或派生）定