theorem Th3: :: ASCOLI2:3

for Z being non empty MetrSpace
for F being non empty Subset of Z st Z is complete holds
Z | (Cl F) is complete