Corollary 1

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

General Topology, chapter I, § 6. Filters

Let $\mathfrak{F}$ be a filter on a set $X$ , and $A$ a subset of $X$ . Then there is a filter $\mathfrak{F}'$ which is finer than $\mathfrak{F}$ and such that $A \in \mathfrak{F}'$ , if and only if $A$ meets all the sets of $\mathfrak{F}$ .

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

Cited by

Corollary 6, § 10
Theorem 1, § 10
Proposition 7, § 6

Cites

Nothing.