主要公开日志

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

• 2024年3月2日 (六) 15:12 Gsxab 留言 贡献创建了页面严格弱序 （创建页面，内容为“分类:序理论 {{InfoBox |name=严格弱序 |eng_name=strict weak ordering }} '''严格弱序'''('''strict weak ordering''')指集合上的一个二元关系是一个不可比关系传递的严格偏序。 == 定义 == 对集合 <math>P</math> 上的二元关系 <math>\prec</math> ，如果是一个预序、且有完全性，即满足： * 反自反性： <math>\forall a \in P (\lnot(a \prec a))</math> * 传递性： <math>\forall a \for…”）