Definition (Paracompact)

$(X,\mathscr{T})$ is paracompact if it is Hausdorff and if every cover possesses a locally finite refinement.