Proposition 5

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

General Topology, chapter I, § 7. Limits

The set of cluster points of a filter base on a topological space X is closed in X.

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

Cited by

Nothing.