theorem ThTF3C: :: ZMODUL06:40

for R being Ring
for V, W being LeftMod of R
for T being linear-transformation of V,W
for A being Subset of V holds T .: the carrier of (Lin A) c= the carrier of (Lin (T .: A))