theorem :: MESFUNC2:27

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 f is A -measurable & A c= dom f holds
|.f.| is A -measurable