A topological space \(X\) is paracompact if every open cover of \(X\) has a locally finite open refinement that covers \(X\).
The relation \(\mcv\leq\mcu\) if \(\mcv\) refines \(\mcu\) is a preorder on the set of open covers of \(X\).
See [@Mun00].
Paracompact space
D-HQSEQ