The Stacks project

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