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 is an uncountable infinite set, then the filter consisting of the complements of finite subsets of has no countable base (otherwise the set of finite subsets of would be countable, contrary to assumption); nevertheless this filter is coarser than every elementary filter associated with an infinite sequence of distinct elements of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.