For an affine open subscheme , quasi-coherence gives for an ideal . Define with its usual closed immersion into . On a principal open subscheme , its restriction is , because localization commutes with taking this quotient. These local constructions therefore agree on overlaps and glue.
The resulting underlying closed set is , locally . With inclusion , its structure sheaf is
At a point corresponding to , its stalk is , the local ring of . Thus the glued ringed space is a scheme and is a closed immersion, with ideal sheaf of a closed subscheme exactly . This is the construction of a closed subscheme from a quasi-coherent ideal. If , the construction gives the empty scheme; if , it gives .