主要公开日志

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

• 2024年2月24日 (六) 15:45 Gsxab 留言 贡献创建了页面良序 （创建页面，内容为“分类:序关系 {{InfoBox |name=良序 |eng_name=well-order |aliases=well order }} {{InfoBox |name=良序集 |eng_name=well-ordered set }} '''良序'''('''total order''')，指集合上的一个二元关系，是良基的全序。 元素间存在良序关系的集合称为'''良序集'''('''well-ordered set''')。 == 定义 == 对集合 <math>P</math> 上的二元关系 <math>\leq</math> ，如果是一个全序、且有…”）