Definitions for "Paracompact"
A space is paracompact if every open cover has a locally finite open refinement. Paracompact Hausdorff spaces are normal.
A space is paracompact if every open cover has an open locally finite refinement. Paracompact Hausdorff spaces are normal.