theorem :: MESFUNC6:77

for X being non empty set
for S being SigmaField of X
for f, g being PartFunc of X,REAL
for A being Element of S st A c= dom f & f is_measurable_on A & g is_measurable_on A holds
(max+ (f + g)) + (max- f) is_measurable_on A