Example
Tag 0BDO, permanent. Cite it as [Bourbaki, Tag 0BDO].
General Topology, chapter II, § 2. Uniformly continuous functions
In the ordered set of uniformities on a set X, the discrete uniformity is the finest, and the coarsest uniformity is that in which the set of entourages consists of the single element .
The following proposition is an immediate consequence of Definition 1 of no. 1:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.