De este modo, obtenemos una correspondencia biyectiva que revierte el orden entre las variedades afines en "K" y los ideales radicales de "K"["X","X"...