for Y being Subset of COMPLEX
for f being PartFunc of COMPLEX,COMPLEX st Y c= dom f & Y is compact & f is_continuous_on Y holds
f .: Y is compact