酷兔词典首页

良基关系


在数学中,类 X 上的一个二元关系 R 被称为是良基的,当且仅当所有 X 的非空子集都有一个 R-极小元;就是说,对 X 的每一个非空子集 S,存在一个 S 中的元素 m 使得对于所有 S 中的 s,二元组 (s,m) 都不在 R 中。