Bourbaki

Definition 2

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

General Topology, chapter I, § 7. Limits

In a topological space XX, a point xx is a cluster point of a filter base B\mathfrak{B} on XX if it lies in the closure of all the sets of B\mathfrak{B}.

If xx is a cluster point of a filter base B\mathfrak{B}, it is also a cluster point of every equivalent filter base by reason of § 6, no. 3, corollary to Proposition 4; in particular, xx is a cluster point of the filter whose base is B\mathfrak{B}.

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.