theorem :: RUSUB_3:28

for V being RealUnitarySpace
for W being Subspace of V
for A being Subset of V
for B being Subset of W st A = B holds
Lin A = Lin B