theorem Th13: :: VECTSP_7:13

for GF being Ring
for V being LeftMod of GF
for A, B being Subset of V st A c= B holds
Lin A is Subspace of Lin B