Preliminaries
So, first of all let me give you the definitions I'm dealing with. Let $k$ be an algebraically closed field, and $\mathbb{A}^n = k^n$.
An affine variety is a closed and irreducible subset of $\mathbb{A}^n$.
Here we endow $\mathbb{A}^n$ with the Zariski topology, so a closed subset is the zero set of an ideal in the polynomial ring $k[x_1,\dots,x_n]$. The irreducibility condition in the definition of affine variety requires that such an ideal is prime.
A k-space is a topological space $X$ together with a sheaf of $k$-algebras $\mathscr{O}_X$. We require that $\mathscr{O}_X$ is a subsheaf of the sheaf of $k$-valued functions on $X$.
An algebraic variety is an irreducible k-space $X$ such that $\exists$ an open cover $X=\bigcup_{i=1}^n U_i$ where each $U_i$ is an affine variety. Moreover we ask the diagonal $\Delta(X)$ to be closed in $X\times X$.
Now we use the term affine variety also for an algebraic variety which is isomorphic as a $k$-space to an affine variety as defined above.
The question
Given a closed subset of an affine variety, is this subset affine?
Remarks
My professor claimed this to be true, and I noticed some people take this fact as granted on this website as well, so I guess this should be true! Nevertheless I don't see why such a closed subset should be irreducible. But the point is: do we really care? My naive understanding of this affine/not affine business is that for an affine variety we can write down something like a global coordinate system (the coordinate ring), while for a general algebraic variety we have just local coordinates, ie we have many affines patched together in a way that cannot be described globally with the usual tools. Hence if a variety is reducible this is not a real obstruction to being affine: we can still find a global coordinate system. The important thing is that all the components lie in the same $\mathbb{A}^n$
As you can see I'm a bit confused… some clarification about these ideas would be really appreciated!
Best Answer
This is just a matter of terminology. In both books I have to hand (Hartshorne, and Eisenbud's "Commutative algebra..."), the authors define an 'affine algebraic set' to be any subset of $\mathbb{A}^n$ given by the vanishing of polynomials, and an 'affine algebraic variety' to be an irreducible such set.
What is perfectly clear (and is possibly what 'The question' really asks, given the absence of the word 'variety' at the end) is that any closed subset of an affine algebraic set is again an affine algebraic set.
In practice though, the word 'variety' often seems to be used more generally, without the irreducibility requirement.