The Stacks project

Remark 87.21.5 (Variant for Noetherian). Let $P$ be a property of morphisms of $\textit{WAdm}^{Noeth}$. We say $P$ is a local property if axioms (1), (2), (3), of Situation 87.21.2 hold for morphisms of $\textit{WAdm}^{Noeth}$. In exactly the same way we obtain a variant of Lemma 87.21.3 for morphisms between locally Noetherian formal algebraic spaces over $S$.