存在 "X" 的元素的无穷序列 "x", "x", "x", ...使得对所有的自然数 "n" 有着 "x" "R" "x"。在序理论中，一个偏序关系称为是良基的，当且仅当它对应的严格偏序是良基的。如果这个序还是全序，那么此时称这个序为良序。在集合论中，一个集合 "x" 称为是一个良基集合，如果集成员关系在 "x" 的传递闭包上是良基的。策梅洛-弗兰克尔集合论中的正则公理，就是断言所有的集合都是良基的。
归纳和递归.良基关系之所以引人关注的一个重要原因是因为超限归纳法的一个