 Total boundedness

A metric space is totally bounded when, for every $\epsilon >0$, it is covered by finitely many open balls of radius $\epsilon$.