theorem Th2: :: MESFUN14:2

for X being non empty set
for f being PartFunc of X,ExtREAL st f is real-valued holds
( - f is real-valued & max+ f is real-valued & max- f is real-valued )