Bourbaki

Remark

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

General Topology, chapter I, § 6. Filters

A filter which is coarser than a filter with a countable base need not possess a countable base; for example, if XX is an uncountable infinite set, then the filter consisting of the complements of finite subsets of XX has no countable base (otherwise the set of finite subsets of XX would be countable, contrary to assumption); nevertheless this filter is coarser than every elementary filter associated with an infinite sequence of distinct elements of XX.

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

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.