\begin{definition}[Definition:Affine Algebraic Variety]
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
\end{definition}