Example 1
Tag 03IX, permanent. Cite it as [Bourbaki, Tag 03IX].
Theory of Sets, chapter II, § 6. Equivalence relations
The relation is an equivalence relation which has no graph, for if it did, the first projection of this graph would be the set of all objects.
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.