theorem Th18: :: MEASUR14:18

for X, Y being non empty set
for S being SigmaField of X
for T being Function of X,Y
for A being Subset of X st T is bijective holds
( A in S iff T .: A in CopyField (T,S) )