Bounded metric space

From Topospaces

This article defines a property that can be evaluated for a metric space

Definition

A metric space is termed bounded if there exists a constant such that the distance between any two points is at most . The smallest such nonnegative constant is termed the diameter.

Relation with other properties

Stronger properties