theorem Th21: :: MESFUNC6:21

for X being non empty set
for S being SigmaField of X
for f being PartFunc of X,REAL
for A being Element of S
for r being Real st f is A -measurable & A c= dom f holds
r (#) f is A -measurable