Example 3
Tag 03TQ, permanent. Cite it as [Bourbaki, Tag 03TQ].
Theory of Sets, chapter II, § 6. Equivalence relations
The relation "there exists a bijection of X onto Y" is an equivalence relation which has no graph (cf. Chapter III, § 3).
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.