Bài tập 3, § 3

Tag 03HX, permanent. Cite it as [Bourbaki, Tag 03HX].

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

Cho G, H là hai đồ thị. Chứng minh rằng quan hệ $\mathrm{pr}_1\mathrm{H} \subset \mathrm{pr}_1\mathrm{G}$ là tương đương với $\mathrm{H} \subset \mathrm{H} \circ \overset{-1}{\mathrm{G}} \circ \mathrm{G}$ . Suy ra rằng $\mathrm{G} \subset \mathrm{G} \circ \overset{-1}{\mathrm{G}} \circ \mathrm{G}$ .