En una de sus formas, dice que S=I(V(S)) es el ideal radical del ideal generado por S.