Example 1

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

Theory of Sets, chapter II, § 3. Correspondences

If $\mathrm{A} \subset \mathrm{B}$ , the mapping of A into B whose graph is the diagonal of A is injective and is called the canonical mapping or the canonical injection (or simply the injection) of A into B.

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

Nothing.

Cites

Nothing.