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