for V being RealUnitarySpace
for A, B being Subset of V st A c= B holds
Lin A is Subspace of Lin B