引理8.1如果X是Y的归纳并且Y在Y的实例集中,则 Y在X的实例集中 引理8.2定义关系 GENERAL(X, Y=LOX-YVGENERALIZATIONYX) 序偶<O, GENERAl>是一个偏序集。 定义8.12一个对象X∈O的归纳级定义为在偏序集 <O, GENERAN>中对象的高度。◼ 引理8.1 如果X是Y的归纳并且Ym在Y的实例集中，则 Ym在X的实例集中。 ◼ 引理8.2 定义关系 GENERAL(X,Y)=[(X=Y)∨GENERALIZATION(Y,X)] 序偶<O,GENERAL>是一个偏序集。 ◼ 定义8.12 一个对象X∈O的归纳级定义为在偏序集 <O,GENERAL>中对象的高度