for R being Ring
for V being LeftMod of R
for A, B being Subset of V st A c= B holds
Lin A is Submodule of Lin B by MOD_3:10;