theorem Th15: :: MESFUNC5:15

for X being non empty set
for Y being set
for f being PartFunc of X,ExtREAL st f is nonnegative holds
f | Y is nonnegative