If the metric space $(X,d)$ is compact and an open cover of $X$ is given, then there exists a number $\delta >0$ such that every subset of $X$ having diameter less than $\delta$ is contained in some member of the cover

...