theorem :: MOD_3:13

for R being Ring
for V being LeftMod of R
for A, B being Subset of V holds Lin (A /\ B) is Subspace of (Lin A) /\ (Lin B) by VECTSP_7:16;