若在逻辑上B是A的“一种”，则允许B继承A的功能和属性。（严格的继承规则应该是：若在逻辑上B是A的“一种”，并且A的所有功能和属性对B而言都有意义，则允许B继承A的功能和属性。）
若再逻辑上A是B的“一部分”，则不允许B从A派生，而是要用A和其它东西组合出B。
