theorem Th73: :: RMOD_4:73

for R being domRing
for V being RightMod of R
for A, B being Subset of V st A c= B holds
Lin A is Submodule of Lin B