Proposition 2
Tag 0B5D, permanent. Cite it as [Bourbaki, Tag 0B5D].
General Topology, chapter I, § 7. Limits
A filter on a topological space converges to a point if and only if every ultrafilter which is finer than converges to .
This is an immediate consequence of the preceding remarks and Proposition 7 of § 6, no. 4.
In general a filter can have several distinct limit points; we shall revert to this question in § 8, no. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.