paracompact space
topological space in which every open cover has an open refinement that is locally finite
compact space
topological space in which from every open cover of the space, a finite cover can be extracted
topological space in which every open cover has an open refinement that is locally finite