Definition Let be an affine algebraic set (of the affine n-space). The coordinate ring of is Reduced Finitely generated is a reduced finitely generated -algebra. Proof is finitely generated Noetherian, so the ideal is finitely generated and the quotient will be finitely generated. Next, note that is radical so by this lemma is reduced.