Exercice 2, § 3

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

Théorie des ensembles, II

Soit G un graphe. Montrer que la relation $X \subset \mathrm{pr}_1\ G$ est équivalente à $X \subset \overline{G}\langle G\langle X\rangle \rangle$ .