paracompact space (Q970119)
topological space in which every open cover has an open refinement that is locally finite
Language:
other details