theorem Th2: :: RUSUB_6:2

for V being RealLinearSpace
for A, B being Subset of V st A c= the carrier of (Lin B) holds
Lin A is Subspace of Lin B