theorem Th14: :: MESFUNC7:14

for k being Nat
for X being non empty set
for S being SigmaField of X
for f being PartFunc of X,ExtREAL
for E being Element of S st E c= dom f & f is E -measurable holds
|.f.| |^ k is E -measurable