Lemma 83.5.11. In the situation of Definition 83.5.8. Let $\phi : U \to X$ be a morphism of algebraic spaces over $B$. Assume
$\phi $ is set-theoretically $R$-invariant,
$R$ is reduced, and
$X$ is locally separated over $B$.
Then $\phi $ is $R$-invariant.
Comments (0)