EGA IV$_4$, 19.3.8 (y 19.3.6); esto se refiere a la apertura en el piso de arriba sin propio, y (como consecuencia inmediata) la apertura de la planta baja si $f$ es adecuada (que supongo que usted quiere que requieren).
El general de la intuición es que la apertura tiene en el piso de arriba de muchas propiedades, y así mantiene abajo cuando el mapa es correcto. Como para demostrar la apertura en el piso de arriba, la idea es probar primero constructibility resultados, y luego refinar a la apertura mediante el comportamiento bajo generization. Pero es una larga historia, ya que hay muchos tipos de propiedades que uno se puede imaginar que desean tratar. Este tipo de cosas que se desarrolla en un extraordinariamente sistemática y exhaustiva en EGA IV$_3$, de los artículos 9, 11, 12 (especialmente la sección 12 para el niftiest cosas).