theorem Th26: :: MESFUNC6:26

for X being non empty set
for S being SigmaField of X
for f, g being PartFunc of X,REAL
for A being Element of S st f is A -measurable & g is A -measurable holds
f + g is A -measurable