Open Cover Refinement

A process in topology that replaces an open cover of a space by another open cover in which every set of the new cover is contained in some set of the original cover; used to obtain covers with additional properties (e.g., locally finite, subordinate to a partition of unity).