for S, T being RealNormSpace
for f being PartFunc of S,T
for x0 being Point of S st x0 in dom f & ex N being Neighbourhood of x0 st (dom f) /\ N = {x0} holds
f is_continuous_in x0