theorem Th13: :: RLVECT_X:13

for V being RealLinearSpace
for A, B being Subset of V st A c= B holds
Z_Lin A c= Z_Lin B