# Definition:Paracompact Space

## Definition

Let $T = \struct {S, \tau}$ be a topological space.

$T$ is paracompact if and only if every open cover of $S$ has an open refinement which is locally finite.

## Also see

• Results about paracompact spaces can be found here.