The Stacks project

Lemma 67.40.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. The following are equivalent

1. $f$ is proper,

2. for every scheme $Z$ and every morphism $Z \to Y$ the projection $Z \times _ Y X \to Z$ is proper,

3. for every affine scheme $Z$ and every morphism $Z \to Y$ the projection $Z \times _ Y X \to Z$ is proper,

4. there exists a scheme $V$ and a surjective étale morphism $V \to Y$ such that $V \times _ Y X \to V$ is proper, and

5. there exists a Zariski covering $Y = \bigcup Y_ i$ such that each of the morphisms $f^{-1}(Y_ i) \to Y_ i$ is proper.