Un esquema es un espacio localmente anillado "(X, O" ")" localmente isomorfo a un esquema afín, es decir para el que existe un recubrimiento por abiertos "U" tal que "(U", "O"|" ")" es isomorfo –como espacio anillado– a (Spec ("A"), "Â"), donde "A" es un anillo conmutativo y "Â" es su haz de localizaciones.