for CNS being ComplexNormSpace
for f being PartFunc of CNS,CNS st f = id (dom f) holds
f is_continuous_on dom f