Separated variety
= Separated variety
An <algebraic variety> that is separated over its ground field. Two affine open charts have an affine intersection: their intersection is the inverse image of the closed diagonal inside the product of the two <affine charts>. This ensures a finite affine cover is acyclic for <quasi-coherent sheaves>.