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