Situation 96.27.1. Let $S$ be a locally Noetherian scheme. Let $X'$ be an algebraic space locally of finite type over $S$. Let $T' \subset |X'|$ be a closed subset. Let $U' \subset X'$ be the open subspace with $|U'| = |X'| \setminus T'$. Let $W$ be a locally Noetherian formal algebraic space over $S$ with $W_{red}$ locally of finite type over $S$. Finally, we let

$g : X'_{/T'} \longrightarrow W$

be a formal modification, see Algebraization of Formal Spaces, Definition 86.24.1. Recall that $X'_{/T'}$ denotes the formal completion of $X'$ along $T'$, see Formal Spaces, Section 85.10.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).