theorem :: CFUNCT_1:71

for X being set
for C being non empty set
for f being PartFunc of C,COMPLEX st X misses dom f holds
f | X is bounded