在集合论中，一个集合 "x" 称为是一个良基集合，如果集成员关系在 "x" 的传递闭包上是良基的。策梅洛-弗兰克尔集合论中的正则公理，就是断言所有的集合都是良基的。
归纳和递归.良基关系之所以引人关注的一个重要原因是因为超限归纳法的一个版本可以应用到它上面。("X", "R") 是良基关系，并且 P("x") 是 "X" 的元素的某种属性，你期望 P("x") 对 "X" 的所有元素都成立，那么良基关系有能力做到这一点：和归纳法类似，良基关系可以支持通过超限递归来构造对象。