Remark 85.17.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 85.17.2 hold for morphisms of $\textit{WAdm}^{Noeth}$. In exactly the same way we obtain a variant of Lemma 85.17.3 for morphisms between locally Noetherian formal algebraic spaces over $S$.

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