Paracompact space

A topological space is paracompact iff every open cover has a locally finite open refinement. #m/def/topology This is weaker than compactness.

#state/develop | #lang/en | #SemBr