for S being RealNormSpace
for Y being Subset of S holds id Y is_Lipschitzian_on Y