Proposition 7
Tag 0B8A, permanent. Cite it as [Bourbaki, Tag 0B8A].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
If is a relatively quasi-compact subset of a topological space , then every filter base on has a cluster point in .
For if , where is a quasi-compact subset of , then every filter base on has a cluster point in .
The converse of this proposition is not valid without restriction on (Exercise 22).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.