Remark

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

General Topology, chapter II, § 3. Complete spaces

If this identification is made, the minimal Cauchy filters on X are just the traces on X of the neighbourhood filters of points of $\hat{X}$ ; this follows from the proof of Theorem 3.

The Corollary to Proposition 12 characterizes the completion of a Hausdorff uniform space:

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

Cited by

Nothing.

Cites

Corollary to Proposition 12
Theorem 3