Proposition 1
Tag 0BW6, permanent. Cite it as [Bourbaki, Tag 0BW6].
General Topology, chapter VI, § 1. Real number space R^n
A subset of 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.