Definition 66.25.4. Let $S$ be a scheme. Let $X$ be a decent and locally Noetherian algebraic space over $S$. We say $X$ is universally catenary if for every morphism $Y \to X$ of algebraic spaces which is locally of finite type and with $Y$ decent, the algebraic space $Y$ is catenary.

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