hemicompact space
topological space that admits a sequence of compact subsets such that every compact subset of the space lies inside some compact set in the sequence
compact space
topological space in which from every open cover of the space, a finite cover can be extracted