theorem Th1: :: ASCOLI2:1

for T being non empty MetrSpace
for A being Subset of T holds A c= Cl A