This result records that a finite refinement of an [open cover](/page/Open%20Cover) is enough to produce a [finite subcover](/page/Finite%20Subcover) of the original cover. It is useful when compactness first gives a finite cover by smaller or better-behaved sets.