The Stacks project

Situation 87.21.15. Let $P$ be a local property of morphisms of $\textit{WAdm}^{count}$, see Situation 87.21.2. We say $P$ has the cancellation property if given $B \to A$ and $C \to B$ in $\textit{WAdm}^{count}$ we have $P(C \to B) \wedge P(C \to A) \Rightarrow P(B \to A)$.