Projective scheme
= 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 morphism>[proper].
Projectivity is a property of the scheme over its specified base, expressed by its structural <projective morphism>.