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_measurable_on A iff ( max+ f is_measurable_on A & max- f is_measurable_on A ) )