for R being Ring
for V being LeftMod of R
for A being Subset of V holds A is Subset of (Lin A)