theorem Th59: :: MESFUN15:57

for f being PartFunc of REAL,REAL
for A being non empty closed_interval Subset of REAL st A c= dom f holds
( max+ (f || A) = max+ (f | A) & max- (f || A) = max- (f | A) )