Definition 2
Tag 0B5E, permanent. Cite it as [Bourbaki, Tag 0B5E].
General Topology, chapter I, § 7. Limits
In a topological space , a point is a cluster point of a filter base on if it lies in the closure of all the sets of .
If is a cluster point of a filter base , it is also a cluster point of every equivalent filter base by reason of § 6, no. 3, corollary to Proposition 4; in particular, is a cluster point of the filter whose base is .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.