Remark

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

Theory of Sets, chapter II, § 3. Correspondences

The relation $x = y$ has no graph, for the first projection of the graph, if it existed, would be the set of all objects (cf. § 1, no. 7, Remark).

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

§ 1, no. 7