Definition 6

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

Theory of Sets, chapter II, § 3. Correspondences

Let G, G′ be two graphs. The graph (with respect to $x$ and $z$ ) of the relation $(\exists y)((x, y) \in \mathrm{G}$ and $(y, z) \in \mathrm{G}')$ is called the composition of G′ and G, and is denoted by $\mathrm{G}' \circ \mathrm{G}$ (or sometimes by $\mathrm{G}'\mathrm{G}$ ).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

alg-i-s1-n1-exa-1 not in this corpus

Cites

Nothing.