Definition 88.24.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of locally Noetherian formal algebraic spaces over $S$. We say $f$ is a *formal modification* if

$f$ is a proper morphism (Formal Spaces, Definition 87.31.1),

$f$ is rig-étale,

$f$ is rig-surjective,

$\Delta _ f : X \to X \times _ Y X$ is rig-surjective.

## Comments (0)