 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.

Projectivity is a property of the scheme over its specified base, expressed by its structural projective morphism.