Remark 2
Tag 0BDS, permanent. Cite it as [Bourbaki, Tag 0BDS].
General Topology, chapter II, § 2. Uniformly continuous functions
If is a uniformly continuous mapping, then remains uniformly continuous if we replace the uniformity of by a finer uniformity and that of by a coarser uniformity (no. 1, Proposition 2). In other words, the finer the uniformity of and the coarser the uniformity of , the more uniformly continuous mappings there are of into .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.