Diameter of a metric space

From Topospaces

Definition

Let be a bounded metric space. The diameter of is defined as:

This is a finite constant precise because is bounded.

Related notions