Example 1
Tag 0C17, permanent. Cite it as [Bourbaki, Tag 0C17].
General Topology, chapter IX, § 1. Generation of a uniformity by a family of pseudometrics; uniformizable spaces
On real number space , Euclidean distance (Chapter VI, § 2, no. 1) is a pseudometric.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.