Definition 4.18.5 (Paracompact). Let $X$ be a topological space, then $X$ is paracompact if every open cover of $X$ admits a locally finite refinement.
Definition 4.18.5 (Paracompact). Let $X$ be a topological space, then $X$ is paracompact if every open cover of $X$ admits a locally finite refinement.