diamS - наибольшее из расстояний между 2 различными точками замкнутого множества S,
S(x,r) - шар с центром в точке x, радиуса r.
x тут явно лишний, так как от него значение функции не зависит.
С таким определением diamS и по определению замкнутого шара получается вот такое строгое равенство diamS(x,r) = 2r
Вот если бы шар был открытый, то тогда было бы diamS(x,r) < 2r