for r being Real
for M being MetrStruct
for p being Element of M holds Ball (p,r) c= cl_Ball (p,r)