Exercise 2, § 3

Let G be a graph. Show that the relation $\mathrm{X} \subset \mathrm{pr}_1\mathrm{G}$ is equivalent to $\mathrm{X} \subset \overset{-1}{\mathrm{G}}\langle \mathrm{G}\langle \mathrm{X}\rangle\rangle$.