Definition:Paracompact Space

Definition
Let $T = \left({X, \tau}\right)$ be a topological space.

$T$ is paracompact iff every open cover of $X$ has an open refinement which is locally finite.