Proposition 98.12.3. Let $S$ be a scheme. Let $Z \to B$ and $X \to B$ be morphisms of algebraic spaces over $S$. Assume $X \to B$ is of finite presentation and separated and $Z \to B$ is of finite presentation, flat, and proper. Then $\mathit{Mor}_ B(Z, X)$ is an algebraic space locally of finite presentation over $B$.

Proof. Immediate consequence of Lemma 98.12.2 and Proposition 98.9.4. $\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).