theorem :: TOPMETR4:4

for M being non empty MetrSpace
for X being Subset of (TopSpaceMetr M)
for p being Element of M holds
( p in Cl X iff for r being Real st 0 < r holds
X meets Ball (p,r) )