Definition 66.4.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Let $\Delta _{X/Y} : X \to X \times _ Y X$ be the diagonal morphism.

1. We say $f$ is separated if $\Delta _{X/Y}$ is a closed immersion.

2. We say $f$ is locally separated1 if $\Delta _{X/Y}$ is an immersion.

3. We say $f$ is quasi-separated if $\Delta _{X/Y}$ is quasi-compact.

[1] In the literature this term often refers to quasi-separated and locally separated morphisms.

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