Closed subscheme (source code)

= Closed subscheme
{wiki=Closed_immersion}

A closed subscheme of $X$ is a <scheme> $Z$ together with a <closed immersion> $Z\hookrightarrow X$, usually identified with its image and its quotient structure sheaf.