Paracompact space (source code)

= Paracompact space
{wiki=Paracompact_space}

A topological space is paracompact when every <open cover> has a locally finite open refinement. Every <metric space> and every second-countable <topological manifold> is paracompact.