theorem Th6: :: HAUSDORF:6

for M being non empty MetrSpace
for p being Point of M
for A being Subset of (TopSpaceMetr M) holds
( p in Cl A iff for r being Real st r > 0 holds
ex q being Point of M st
( q in A & dist (p,q) < r ) )