Totally bounded metric space

Symbol-free definition
A metric space is termed totally bounded if for every $$\epsilon > 0$$, the whole space can be expressed as a union of finitely many $$\epsilon$$-balls.

Stronger properties

 * Compact metric space

Weaker properties

 * Bounded metric space