Articles by others on the same topic (1)

A metric space is totally bounded when, for every , it is covered by finitely many open balls of radius .
A metric space is totally bounded when, for every , finitely many open balls of radius cover it. Equivalently it has a finite -net at every positive scale.