for M being non empty set
for V being ComplexNormSpace
for f being PartFunc of M,V
for X, Y being set st Y c= X & f is_bounded_on X holds
f is_bounded_on Y