theorem Th30: :: MESFUNC6:30

for X being non empty set
for f being PartFunc of X,REAL holds
( max+ (R_EAL f) = max+ f & max- (R_EAL f) = max- f )