A topological space is called hemicompact iff there exists a sequence of compact subsets such that and holds.
If is hemicompact and a sequence as in the definition, then every compact subset is contained in one of the . In other words: is cofinal in the set of all compact subsets (partially ordered by inclusion)
Last revised on March 21, 2024 at 16:44:02. See the history of this page for a list of all contributions to it.