Lemma 76.23.6. Let $S$ be a scheme. Let $f : X \to Y$ and $Y \to Z$ be a morphism of algebraic spaces over $S$. Assume
$X$ is locally of finite presentation over $Z$,
$X$ is flat over $Z$, and
$Y$ is locally of finite type over $Z$.
Then the set
is open in $|X|$ and its formation commutes with arbitrary base change $Z' \to Z$.
Comments (0)