Definition 3
Tag 0B88, permanent. Cite it as [Bourbaki, Tag 0B88].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
A subset of a topological space is said to be relatively quasi-compact (resp. relatively compact) in if is contained in a quasi-compact (resp. compact) subset of .
To abbreviate, we say also that is a "relatively quasi-compact set" (resp. "relatively compact set") when there is no ambiguity about . In a Hausdorff space the notions of relatively quasi-compact set and relatively compact set are the same.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.