This theorem identifies the regular functions on an affine algebraic set with elements of its [coordinate ring](/page/Coordinate%20Ring). It explains why quotienting the [polynomial ring](/page/Polynomial%20Ring) by the vanishing ideal gives the algebra of globally defined regular functions.