Este es el recíproco de esta pregunta. Deje $X$(resp. $Y$) ser un esquema de finito tipo sobre un campo $k$. Deje $f\colon X \rightarrow Y$ ser una de morfismos. Deje $X_0$(resp. $Y_0$) el conjunto de puntos cercanos de $X$(resp. $Y$). A continuación, $f$ induce un mapa de $f_0\colon X_0 \rightarrow Y_0$. Consideramos $X_0$(resp. $Y_0$) como un subespacio de $X$(resp. $Y$). Supongamos $f_0$ es un cerrado mapa. Es $f$ cerrado(*)?
(*) Una de morfismos es cerrado si la imagen de cualquier subconjunto cerrado se cierra(Hartshorne, p.100).
