for M being non empty MetrSpace
for z being Point of M
for r being Real holds Sphere (z,r) is bounded