-of-values recursion）。命题 (N, <) 是良基的也被称为良序原理。还有其他一些令人感兴趣的良基归纳的例子。当良基关系是通常的序数上的序关系，那么对应的归纳法是超限归纳法；当良基集合是递归定义的数据结构，那么对应的归纳法称为结构归纳法；当良基关系是全类上的集合成员关系，对应的归纳法称为∈-归纳法。请参阅相关主题的论文来获得更多的细节。
例子.下面给出一些是良基关系但不是全序关系的例子：
其他性质.如果 ("X", <) 是良基关