theorem :: TMAP_1:50

for X, Y being non empty TopSpace
for f being Function of X,Y holds
( f is continuous Function of X,Y iff for x being Point of X holds f is_continuous_at x ) by Th44;