The Stacks project

Definition 87.27.1. Let $S$ be a scheme. Let $f : Y \to X$ be a morphism of formal algebraic spaces over $S$. We say $f$ is a closed immersion if $f$ is representable by algebraic spaces and a closed immersion in the sense of Bootstrap, Definition 80.4.1.