Proposition 5
Tag 0CB4, permanent. Cite it as [Bourbaki, Tag 0CB4].
General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence
Let be a set, a uniform space and a set of subsets of . Then a filter on converges to if and only if is a Cauchy filter with respect to the uniformity of -convergence and converges pointwise to in .
Since the structure of pointwise convergence in is coarser than that of -convergence, it is enough to show that for each and each closed entourage of , is closed in with respect to the topology of pointwise convergence (Chapter II, § 3, no. 3, Proposition 7). Now is the intersection of the inverse images of under the mappings as runs through ; these mappings are continuous with respect to the topology of pointwise convergence (no. 2, Remark 6), and the result follows.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.