从归纳到余归纳 ,非良基集 良基关系 集合A上的一个关系<是良基的，若不存在A上元 素的无穷递减序列a>a1>a2>·(a>biff b<a) 良基集 直观解释：不存在无穷递减序列的集合 非良基关系 集合A上的一个关系是非良基的，若存在A上元 素的无穷递减序列 非良基集 直观解释：不遵守上述对良基集的限制的集合• 非良基集 – 良基关系 集合A上的一个关系是良基的，若不存在A上元 素的无穷递减序列a0 a1  a2 …（a  b iff b  a） – 良基集 直观解释：不存在无穷递减序列的集合 – 非良基关系 集合A上的一个关系是非良基的，若存在A上元 素的无穷递减序列 – 非良基集 直观解释：不遵守上述对良基集的限制的集合 从归纳到余归纳 20