主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2024年2月24日 (六) 16:03 Gsxab 留言 贡献创建了页面良基关系 （创建页面，内容为“分类:关系 {{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> 是一个'''良基关系'''(…”）