Properness is local on the target
= Properness is local on the target
If $f:X\to Y$ is a <morphism of schemes> and $(U_i)$ is an open cover of $Y$, then $f$ is <proper morphism>[proper] exactly when every restriction $f^{-1}(U_i)\to U_i$ is proper. The three defining properties—finite type, separatedness, and universal closedness—can each be checked on an open cover of the target.