for V being strict ComplexLinearSpace holds V is Subspace of (Omega). V ;