theorem Th27: :: MEASUR14:27

for X, Y being non empty set
for T being Function of X,Y
for f being PartFunc of X,ExtREAL
for g being PartFunc of Y,ExtREAL st T is bijective & g = f * (T ") holds
( max+ g = (max+ f) * (T ") & max- g = (max- f) * (T ") )