for X being non empty set
for S being SigmaField of X
for f being PartFunc of X,COMPLEX
for A, B being Element of S st f is A -measurable & f is B -measurable holds
f is A \/ B -measurable by MESFUNC6:17;