theorem :: VFUNCT_2:43

for M being non empty set
for V being ComplexNormSpace
for f being PartFunc of M,V
for Y being set holds 0c (#) f is_bounded_on Y