for n being Element of NAT
for p being Point of (Euclid n)
for r being Real
for B being Subset of (TOP-REAL n) st B = cl_Ball (p,r) holds
( B is bounded & B is closed )