Por ejemplo, una variedad algebraica sobre un cuerpo "K" define un morfismo de esquemas hacia Spec("K"), con el cual la variedad puede ser identificada.