Corollary 1

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

General Topology, chapter II, § 3. Complete spaces

If a Cauchy filter on a uniform space $X$ induces a filter on a subset $A$ of $X$ , then this filter is a Cauchy filter on the uniform subspace $A$ .

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

Cited by

Nothing.

Cites

Nothing.