theorem Th73: :: TOPREAL6:80

for P being Subset of (TOP-REAL 2) st P is bounded holds
for g being continuous RealMap of (TOP-REAL 2) holds Cl (g .: P) c= g .: (Cl P)