主要公开日志
外观
所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
- 2024年3月2日 (六) 15:03 Gsxab 留言 贡献创建了页面弱序 (创建页面,内容为“分类:序理论 {{InfoBox |name=弱序 |eng_name=weak ordering }} {{InfoBox |name=弱序集 |eng_name=weakly ordered set }} '''弱序'''('''weak ordering''')指集合上的一个二元关系是一个完全的预序。 元素间存在弱序关系的集合称为'''弱序集'''('''weakly ordered set''')。 == 定义 == 对集合 <math>P</math> 上的二元关系 <math>\precsim</math> ,如果是一个预序、且有完全性…”)