Lemma 85.17.12. Let $S$ be a scheme. Let $P$ be a local property of morphisms of $\textit{WAdm}^{count}$ which is stable under composition. Let $f : X \to Y$ and $g : Y \to Z$ be morphisms of locally countably indexed formal algebraic spaces over $S$. If $f$ and $g$ satisfies the equivalent conditions of Lemma 85.17.3 then so does $g \circ f : X \to Z$.

Proof. Choose a covering $\{ Z_ k \to Z\}$ as in Definition 85.7.1. For each $k$ choose a covering $\{ Y_{kj} \to Z_ k \times _ Z Y\}$ as in Definition 85.7.1. For each $k$ and $j$ choose a covering $\{ X_{kji} \to Y_{kj} \times _ Y X\}$ as in Definition 85.7.1. If $f$ and $g$ satisfies the equivalent conditions of Lemma 85.17.3 then $X_{kji} \to Y_{jk}$ and $Y_{jk} \to Z_ k$ correspond to arrows $B_{kj} \to A_{kji}$ and $C_ k \to B_{kj}$ of $\text{WAdm}^{count}$ having property $P$. Hence the compositions do too and we conclude. $\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).