Definition 31.22.2. Let $f : X \to S$ be a morphism of schemes. Let $i : Z \to X$ be an immersion.
We say $i$ is a relative quasi-regular immersion if $Z \to S$ is flat and $i$ is a quasi-regular immersion.
We say $i$ is a relative $H_1$-regular immersion if $Z \to S$ is flat and $i$ is an $H_1$-regular immersion.
Comments (0)