The following important result in commutative algebra due to Hilbert. Let F be an algebraically closed field (such as ℂ) and n be a positive integer. For an ideal J in the polynomial ring F[x1,…,xn] and for a subset S of Fn we may define
Then , the radical of J. By comparison , the closure of S in the Zariski topology.