for X, Y being non empty TopSpace
for x being Point of X holds Y --> x is continuous Function of Y,(X | {x})