查看“︁良基关系”︁的源代码

[[分类:序理论]]
{{InfoBox
|name=良基关系
|eng_name=well-founded relation
}}
'''良基关系'''('''well-founded relation''')是指一个二元[[关系]]中，任何一个子集中都存在一个[[最大元、最小元（序理论）|最小元]]。

== 定义 ==

对集合 <math>A</math> 上的二元关系 <math>R</math>，若 <math>\forall U \subseteq A (\exists u \in U)(\forall u' \in U)(u \leq u')</math> ，称 <math>R</math> 是一个'''良基关系'''('''well-founded relation''')，也称这一关系是'''良基的'''('''well-founded''')。


{{关系}}