对应的归纳法是超限归纳法；当良基集合是递归定义的数据结构，那么对应的归纳法称为结构归纳法；当良基关系是全类上的集合成员关系，对应的归纳法称为∈-归纳法。请参阅相关主题的论文来获得更多的细节。
例子.下面给出一些是良基关系但不是全序关系的例子：
其他性质.如果 ("X", <) 是良基关系并且 "x" 是 "X" 中的一个元素，那么以 "x" 为始的降链都是有限长的，但是这不意味着它们的长度必定是有界的。请考虑下面的例子：令 "X" 为全体正整数和一个