Lemma 66.4.6. Let $S$ be a scheme. Let $T$ be an algebraic space over $S$. Let $g : X \to Y$ be a morphism of algebraic spaces over $T$. Consider the graph $i : X \to X \times _ T Y$ of $g$. Then

$i$ is representable, locally of finite type, locally quasi-finite, separated and a monomorphism,

if $Y \to T$ is locally separated, then $i$ is an immersion,

if $Y \to T$ is separated, then $i$ is a closed immersion, and

if $Y \to T$ is quasi-separated, then $i$ is quasi-compact.

## Comments (1)

Comment #912 by Matthieu Romagny on