Exercise 2, § 4

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

Theory of Sets, II, 125

Let G be a graph. Show that for each set X we have

\mathrm{G}(\mathrm{X}) = \mathrm{pr}_2(\mathrm{G} \cap (\mathrm{X} \times \mathrm{pr}_2\mathrm{G})) \qquad \text{and} \qquad \mathrm{G}(\mathrm{X}) = \mathrm{G}(\mathrm{X} \cap \mathrm{pr}_1\mathrm{G}).

Solution

No solution has been written yet.

Cited by

Nothing.

Nothing.