6.2 归纳和余归纳 6.2.1余归纳现象 例 数据集A上的有限表集可归纳地定义如下 (①)基础情况：nil是有限表 (2)迭代规则：若a∈A且o是有限表，则cons(a,o)是 有限表 ③)最小化条件：此外，有限表集中不含其它元素 最小化规则指所定义的集合是满足(1)和2)两条 约束的最小集合，无任何垃圾在其中6.2 归纳和余归纳 6.2.1 余归纳现象 • 例 数据集A上的有限表集可归纳地定义如下 (1) 基础情况：nil是有限表 (2) 迭代规则：若aA且是有限表，则cons(a, )是 有限表 (3) 最小化条件：此外，有限表集中不含其它元素 最小化规则指所定义的集合是满足(1)和(2)两条 约束的最小集合，无任何垃圾在其中