for V being RealLinearSpace holds V is Subspace of V