Theorem 1

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

General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence

Let $X$ be a set, let $\mathscr{G}$ be a set of subsets of $X$ , and let $Y$ be a complete uniform space. Then the uniform space $\mathscr{F}_{\mathscr{G}}(X; Y)$ is complete.

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

Cited by

Corollary 1, § 1
Corollary 1, § 3

Cites

Nothing.