Corollary 1
Tag 0BPI, permanent. Cite it as [Bourbaki, Tag 0BPI].
General Topology, chapter IV, § 2. Fundamental topological properties of the real line
A subset of the real line is relatively compact if and only if it is bounded.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.