Definition 5
Tag 0B8V, permanent. Cite it as [Bourbaki, Tag 0B8V].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
A locally compact space is said to be -compact or countable at infinity if it is a countable union of compact subsets.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.