for GF being Ring
for V being LeftMod of GF
for A, B being Subset of V holds Lin (A /\ B) is Subspace of (Lin A) /\ (Lin B)