Example
Tag 0BEU, permanent. Cite it as [Bourbaki, Tag 0BEU].
General Topology, chapter II, § 3. Complete spaces
On a discrete uniform space a Cauchy filter is a trivial ultrafilter (Chapter I, § 6, no. 4), hence convergent; consequently, is complete.
From Definitions 2 and 3 of no. 1 and Proposition 2 of no. 1, we deduce the following proposition, known as Cauchy’s criterion:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.