for T being non empty TopSpace
for f being continuous RealMap of T
for A being compact Subset of T holds f .: A is compact