Bài tập 4, § 6

Nhãn 03J2, cố định. Trích dẫn là [Bourbaki, Tag 03J2].

Lý thuyết tập hợp, II, 127

Cho G là đồ thị của một tương đương trên một tập hợp E. Chứng minh rằng nếu A là một đồ thị sao cho $\mathrm{A} \subset \mathrm{G}$ và $\mathrm{pr_1A} = \mathrm{E}$ (resp. $\mathrm{pr_2A} = \mathrm{E}$ ), thì

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

hơn nữa, nếu $B$ là một đồ thị bất kỳ, ta có $(G \cap B) \circ A = G \cap (B \circ A)$ (resp. $A \circ (G \cap B) = G \cap (A \circ B)$ ).

Lời giải

Chưa có lời giải nào được viết.

Được trích dẫn bởi

Không có.

Trích dẫn đến

Không có.