Totally bounded metric space

From Topospaces

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.

Relation with other properties

Stronger properties

Weaker properties