Definição

Sejam $(X,d)$ espaço métrico e $A \subset X$. $A$ é dito totalmente limitado se, para todo $\varepsilon > 0$, existe $F \subset A$ finito tal que $\bigcup_{x \in F}B_{\varepsilon}(x) \supset A$.