theorem ThLin4: :: ZMODUL05:30

for V being Z_Module
for A being Subset of V holds A is Subset of (Lin A)