for M being non empty MetrSpace
for z being Point of M holds cl_Ball (z,0) = {z}