for X being non empty TopSpace
for M being non empty MetrSpace
for f being Function of X,(TopSpaceMetr M) st f is continuous holds
for r being Real
for u being Element of M
for P being Subset of (TopSpaceMetr M) st P = Ball (u,r) holds
f " P is open