主要公开日志

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

• 2023年4月16日 (日) 08:37 Gsxab 留言 贡献创建了页面左全关系 （创建页面，内容为“{{InfoBox |name=左全关系 |eng_name=left-total relation |aliases=total }} '''左全关系'''('''left-total relation''')指一个关系对前域内任意值都有至少一个后域内的值使得关系成立，换句话说其定义域是其前域。 == 定义 == 对集合 <math>X</math> 到 <math>Y</math> 上的关系 <math>R</math> ，若 <math>\operatorname{dom} R = X</math> ，即 <math>\forall x \exist y (x\in X \rightarrow (y\in Y \land x R y))</ma…”）