Zariski dense subset (source code)

= Zariski dense subset

= Zariski dense
{c}
{synonym}

A subset of an algebraic variety is Zariski dense when its closure in the <Zariski topology> is the whole variety. For an affine variety, this is equivalent to saying that every regular function vanishing on the subset vanishes on the entire variety.