Bourbaki

习题 2, § 5

标签 03GN,永久不变。引用为 [Bourbaki, Tag 03GN]。

集合论, I, 59

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令RR为T\mathscr{T}中的关系,并令xx、yy为不同的字母。那么关系(∃x)(x=y(\exists x)(x = y和R)、(y∣x)R(y|x)R在T\mathscr{T}中是等价的。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。