Example 1
Tag 0B82, permanent. Cite it as [Bourbaki, Tag 0B82].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
In a topological space , every finite subset is quasi-compact; the empty set and every set consisting of one point are compact.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.