theorem Th10: :: MESFUN11:10

for X being non empty set
for S being SigmaField of X
for f being PartFunc of X,ExtREAL
for A being Element of S st A c= dom f holds
( f is A -measurable iff ( max+ f is A -measurable & max- f is A -measurable ) )