Corollary
Tag 0B5H, permanent. Cite it as [Bourbaki, Tag 0B5H].
General Topology, chapter I, § 7. Limits
An ultrafilter converges to a point x if and only if x is a cluster point of .
If x is a cluster point of a filter , it is also a cluster point of every filter coarser than ; likewise, if we replace the topology of X by a coarser topology, x remains a cluster point of in the new topology.
The set of cluster points of a filter base on X is by definition the set , whence
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.