 Lebesgue number lemma

Every open cover of a compact metric space has a number $\delta >0$ such that every subset of diameter less than $\delta$ lies in one member of the cover.