习题 4, § 6

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

集合论, II, 127

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

设 G 为集合 E 上的等价图。证明，如果 A 是满足 $\mathrm{A} \subset \mathrm{G}$ 和 $\mathrm{pr_1A} = \mathrm{E}$ （分别为 $\mathrm{pr_2A} = \mathrm{E}$ ）的图，则

\mathrm{G} \circ \mathrm{A} = \mathrm{G} \quad (\text{resp.} \quad \mathrm{A} \circ \mathrm{G} = \mathrm{G});

此外，如果 $B$ 是任意图，我们就有 $(G \cap B) \circ A = G \cap (B \circ A)$ （或 $A \circ (G \cap B) = G \cap (A \circ B)$ ）。

解答

尚未写出解答。

被以下引用

无。

无。