theorem :: MESFUNC2:26

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