for CNS1, CNS2 being ComplexNormSpace
for f being PartFunc of CNS1,CNS2 st dom f is compact & f is_continuous_on dom f holds
rng f is compact