By an algebraic variety over some field $k$ we mean...

- A quasiprojective reduced separated scheme of finite type over $k$.

- An integral separated scheme of finite type over $\spec k$