Situation 85.17.11. Let $P$ be a local property of morphisms of $\textit{WAdm}^{count}$, see Situation 85.17.2. We say $P$ is stable under composition if given $B \to A$ and $C \to B$ in $\textit{WAdm}^{count}$ we have $P(B \to A) \wedge P(C \to B) \Rightarrow P(C \to A)$.

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).