Lebesgue's number lemma

In topology, Lebesgue's number lemma, named after Henri Lebesgue, is a useful tool in the study of compact metric spaces. It states:

Such a number is called a Lebesgue number of this cover. The notion of a Lebesgue number itself is useful in other applications as well.