theorem :: RFUNCT_1:76

for X being set
for f being real-valued Function st X misses dom f holds
f | X is bounded