Lemma 74.26.7. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$ which is flat and locally of finite presentation. Let

Then $W$ is open in $|X|$ and the formation of $W$ commutes with arbitrary base change of $f$: For any morphism $g : Y' \to Y$, consider the base change $f' : X' \to Y'$ of $f$ and the projection $g' : X' \to X$. Then the corresponding set $W'$ for the morphism $f'$ is equal to $W' = (g')^{-1}(W)$.

## Comments (0)