for S, T being RealNormSpace
for x being Point of T holds the carrier of S --> x is_continuous_on the carrier of S