Definition:Affine Algebraic Variety

Definition
Let $k$ be a field.

Then a subset $X \subseteq k^n$ is an affine algebraic variety if the following hold:


 * $X$ is an affine algebraic set
 * $X$ is irreducible