Paracompact space

topological space in which every open cover has an open refinement that is locally finite