Om d(P,Q) betecknar avståndet mellan två punkter P och Q i en mängd i ett metriskt rum, så är diametern av mängden den minsta övre begränsningen till avstånden, dvs. det minsta tal k som uppfyller d(P,Q) ≤ k