Example 1
Tag 0BD5, permanent. Cite it as [Bourbaki, Tag 0BD5].
General Topology, chapter II, § 1. Uniform spaces
The topology induced by the additive uniformity on the set of real numbers is the topology of the real line (Chapter I, § 1, no. 2); similarly the topology induced by the additive uniformity on the set of rational numbers is the topology of the rational line.*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.