Definition 77.4.3. Let $B \to S$ as in Section 77.3. Let $U$ be an algebraic space over $B$. Let $j : R \to U \times _ B U$ be a pre-relation. Let $g : U' \to U$ be a morphism of algebraic spaces over $B$. The pre-relation $j' : R' \to U' \times _ B U'$ of Lemma 77.4.2 is called the restriction, or pullback of the pre-relation $j$ to $U'$. In this situation we sometimes write $R' = R|_{U'}$.

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).