Definition 1
Tag 0CC0, permanent. Cite it as [Bourbaki, Tag 0CC0].
General Topology, chapter X, § 2. Equicontinuous sets
Let be a topological space and a uniform space. A subset of is said to be equicontinuous at a point if, for each entourage of , there is a neighbourhood of in such that for all and all . H is said to be equicontinuous if it is equicontinuous at every point of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.