for X being non empty TopSpace
for y being Complex
for f being Function of the carrier of X,COMPLEX st f = X --> y holds
f is continuous