A paracompact space is a Hausdorff topological space in which every open cover admits an open, locally finite refinement.