Totally bounded metric space
This article defines a property that can be evaluated for a metric space
Definition
Symbol-free definition
A metric space is termed totally bounded if for every , the whole space can be expressed as a union of finitely many -balls.