theorem Th3: :: RUSUB_6:3

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