Exercise 6, § 6

Show that an inductive limit (II, p. 31) of an increasing sequence of subspaces $E_n$ of a vector space E, with topologies $\mathscr{T}_n$, such that $E_n$ endowed with $\mathscr{T}_n$ is exhaustible, is an exhaustible locally convex space, if it is Hausdorff.