Refinement

A refinement $X$ of a Cover $Y$ is a Cover such that every element $x \in X$ is a Subset of an element $y\in Y$.

See also Cover