theorem :: CFUNCT_1:70

for X, Y being set
for C being non empty set
for f being PartFunc of C,COMPLEX st Y c= X & f | X is bounded holds
f | Y is bounded