for K being Ring
for V being LeftMod of K
for A being Subset of V holds A c= [#] (Lin A)