Lemma 29.44.2. Let $f : X \to S$ be a morphism of schemes. The following are equivalent:

1. The morphism $f$ is integral.

2. There exists an affine open covering $S = \bigcup U_ i$ such that each $f^{-1}(U_ i)$ is affine and $\mathcal{O}_ S(U_ i) \to \mathcal{O}_ X(f^{-1}(U_ i))$ is integral.

3. There exists an open covering $S = \bigcup U_ i$ such that each $f^{-1}(U_ i) \to U_ i$ is integral.

Moreover, if $f$ is integral then for every open subscheme $U \subset S$ the morphism $f : f^{-1}(U) \to U$ is integral.

Proof. See Algebra, Lemma 10.36.14. Some details omitted. $\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).