主要公开日志

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

• 2023年4月18日 (二) 15:24 Gsxab 留言 贡献创建了页面反传递关系 （创建页面，内容为“{{InfoBox |name=反传递关系 |eng_name=antitransitive relation }} '''反传递关系'''('''antitransitive relation''')指某集合上的一个关系中，a和b有关系，b和c有关系，则a和c一定没关系。 == 定义 == 对集合 <math>X</math> 上的关系 <math>R</math> ，若 <math>\forall a \forall b \forall c (a R b \land b R c \implies a \lnot R c)</math>，称关系 <math>R</math> 是'''反传递的'''('''antitransitive''')，关系…”）