 Projective scheme

A projective scheme over a base $S$ is an $S$-scheme admitting a closed immersion into some projective space ${\mathbb{P}}_S^n$. Every projective morphism is proper.