Lemma 67.18.3. In the situation of (67.18.0.1) if $Z' \to Z$ is a morphism and $z' \in |Z'|$ maps to $z$, then the induced map $F_{x, z'} \to F_{x, z}$ is surjective.

Proof. Set $W' = X \times _ Y Z' = W \times _ Z Z'$. Then $|W'| \to |W| \times _{|Z|} |Z'|$ is surjective by Properties of Spaces, Lemma 65.4.3. Hence the surjectivity of $F_{x, z'} \to F_{x, z}$. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).