Example 1
Tag 0B8W, permanent. Cite it as [Bourbaki, Tag 0B8W].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
A discrete space is -compact if and only if it is countable.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.