for X, Y being non empty TopSpace
for f being Function of X,Y st f is continuous holds
corestr f is continuous