theorem Th28: :: MEASUR14:28

for X, Y being non empty set
for S being SigmaField of X
for T being Function of X,Y
for M being sigma_Measure of S
for f being PartFunc of X,ExtREAL
for g being PartFunc of Y,ExtREAL
for A being Element of S st T is bijective & g = f * (T ") & A = dom f & f is A -measurable holds
ex B being Element of CopyField (T,S) st
( B = T .: A & B = dom g & g is B -measurable )