Remark
Tag 0B5K, permanent. Cite it as [Bourbaki, Tag 0B5K].
General Topology, chapter I, § 7. Limits
A filter on a topological space need have no cluster points (and a fortiori no limit points); for example, in an infinite discrete space the filter of complements of finite subsets has no cluster points. Spaces in which every filter has a cluster point play an important role in mathematics, and we shall study them in § 9.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.