Refinement (topology)

In mathematics, a cover of a set ${\displaystyle X}$ is a collection of sets whose union contains ${\displaystyle X}$ as a subset. Formally, if

is an indexed family of sets ${\displaystyle U_{\alpha }}$, then ${\displaystyle C}$ is a cover of ${\displaystyle X}$ if

...
Wikipedia