Definition 3
Tag 0BET, permanent. Cite it as [Bourbaki, Tag 0BET].
General Topology, chapter II, § 3. Complete spaces
A complete space is a uniform space in which every Cauchy filter converges.
In a complete space every Cauchy sequence (no. 1) is therefore convergent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.