Corollary
Tag 0B86, permanent. Cite it as [Bourbaki, Tag 0B86].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
In a compact space a subset is compact if and only if it is closed in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.