Lemma 29.16.5. Let $f : T \to S$ be a morphism of schemes. If $f$ is locally of finite type, then $f(T_{\text{ft-pts}}) \subset S_{\text{ft-pts}}$.

Proof. If $T$ is the spectrum of a field this is Lemma 29.16.1. In general it follows since the composition of morphisms locally of finite type is locally of finite type (Lemma 29.15.3). $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).