theorem :: LMOD_6:35

for K being Ring
for V being LeftMod of K
for A, B being Subset of V holds Lin (A /\ B) c= (Lin A) /\ (Lin B) by MOD_3:13;