Paracompact space
= Paracompact space
{wiki}
= Paracompact
{synonym}
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.