6.2 归纳和余归纳 例 数据集A上的无限表集（流）可余归纳地定义如下 (1)迭代规则：若a∈A且o是无限表，则cos(a,o)是 无限表 (2)最大化条件：数据集4上的无限表集是满足迭代 规则的最大集合 最大化条件表示所有未被(1)排除的元素都被包 含在所定义的集合中，即该集合中任何无限表都可 以通过应用规则(1)若干次（可能是无限次）而得到6.2 归纳和余归纳 • 例 数据集A上的无限表集（流）可余归纳地定义如下 (1) 迭代规则：若aA且是无限表，则cons(a, )是 无限表 (2) 最大化条件：数据集A上的无限表集是满足迭代 规则的最大集合 最大化条件表示所有未被(1)排除的元素都被包 含在所定义的集合中，即该集合中任何无限表都可 以通过应用规则(1)若干次（可能是无限次）而得到