Refinement of an open cover