Exercise 1, § 7

Show that if E is a vector space $\neq \{0\}$ over a field K with an infinity of elements, the set of generating systems of E is not inductive for the order relation $\supset$ (form a decreasing sequence $(S_n)$ of generating systems of E such that the intersection of the $S_n$ is empty).