The structure morphism of a scheme over a base scheme
is the specified morphism
that makes
an
-scheme. For a variety over a field
, the base is
.
For example, a scheme over its base is proper or smooth when its structure morphism is a proper morphism or smooth morphism, respectively.