for R being non degenerated Ring
for V being strict LeftMod of R
for A being Subset of V st A = the carrier of V holds
Lin A = V