Corollary 2
Tag 0CB6, permanent. Cite it as [Bourbaki, Tag 0CB6].
General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence
Let be two sets of subsets of , whose union is the same and which are such that , and let be a subset of . Then if is complete with respect to -convergence, it is complete with respect to -convergence.
For every Cauchy filter with respect to -convergence is also a Cauchy filter with respect to -convergence, and we may apply Corollary 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.