Closed subvariety (source code)

= Closed subvariety

= Subvariety
{synonym}

A closed subvariety is an integral closed subscheme of an <algebraic variety>. It supplies the lower-dimensional loci on which positivity is tested by the <Nakai–Moishezon criterion>.