Definition 3

Tag 0BD4, permanent. Cite it as [Bourbaki, Tag 0BD4].

General Topology, chapter II, § 1. Uniform spaces

The topology defined in Proposition 1 is called the topology induced by the uniform structure $\mathfrak{U}$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.