theorem Th19: :: MEASUR14:19

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