在数学中，类 "X" 上的一个二元关系 "R" 被称为是良基的，当且仅当所有 "X" 的非空子集都有一个 "R"-极小元；就是说，对 "X" 的每一个非空子集 "S"，存在一个 "S" 中的元素 "m" 使得对于所有 "S" 中的 "s"，二元组 ("s","m") 都不在 "R" 中。等价的说，假定某种选择公理，一个二元关系称为是良基的，当且仅当它不包含可数的无穷降链，也就是说不存在 "X" 的元素的无穷序列 "x", "x", "x", ...使得对所有的自然数 "n" 有着 "x" "R" "x"