Lemma 67.17.6. Having property $(\beta )$, being decent, or being reasonable is preserved under compositions.

Proof. Let $\omega \in \{ \beta , decent, reasonable\}$. Let $f : X \to Y$ and $g : Y \to Z$ be morphisms of algebraic spaces over the scheme $S$. Assume $f$ and $g$ both have property $(\omega )$. Then we have to show that for any scheme $T$ and morphism $T \to Z$ the space $T \times _ Z X$ has $(\omega )$. By Lemma 67.17.4 this reduces us to the following claim: Suppose that $Y$ is an algebraic space having property $(\omega )$, and that $f : X \to Y$ is a morphism with $(\omega )$. Then $X$ has $(\omega )$. This is the content of Lemma 67.17.5. $\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).