Corollary
Tag 0CCC, permanent. Cite it as [Bourbaki, Tag 0CCC].
General Topology, chapter X, § 2. Equicontinuous sets
Let X, Y be two uniform spaces and let H be a subset of . Then H is uniformly equicontinuous if and only if the mapping of into Y is uniformly continuous, H being endowed with the uniformity of uniform convergence.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.