主要公开日志

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

• 2023年4月16日 (日) 08:56 Gsxab 留言 贡献创建了页面左唯一关系 （创建页面，内容为“{{InfoBox |name=左唯一关系 |eng_name=left-unique relation |aliases=injective relation }} '''左唯一关系'''('''left-unique relation''')指一个关系对后域内任意值都有至多一个前域内的不同值使得关系成立。 == 定义 == 对集合 <math>X</math> 到 <math>Y</math> 上的关系 <math>R</math> ，若 <math>\forall y \forall x_1 \forall x_2 (y\in Y \rightarrow ((x_1\in X \land x_1 R y) \rightarrow ((x_2\in Z \land x_2 R y) \ri…”）