Zariski cover (source code)

= Zariski cover
{c}

A Zariski cover of a <scheme> is a family of <open immersions> whose images cover its underlying <topological space>. Such families define the <Zariski topology> as a <Grothendieck topology> on the <category> of <schemes>; a cover need not be finite.