Exercice 3, § 3

Soient G et H deux graphes. Montrer que la relation $\mathrm{pr}_1\ H \subset \mathrm{pr}_1\ G$ est équivalente à $H \subset H \circ \overline{G} \circ G$; en déduire que l’on a $G \subset G \circ \overline{G} \circ G$.