Definition

Consider a Metric Space and a non-empty subset . The diameter of is defined by Supremum