Definition 64.16.2. Let $\mathit{Sch}_{fppf}$ be a big fppf site. Let $S \to S'$ be a morphism of this site.

1. If $F'$ is an algebraic space over $S'$, then the base change of $F'$ to $S$ is the algebraic space $j^{-1}F'$ described in Lemma 64.16.1. We denote it $F'_ S$.

2. If $F$ is an algebraic space over $S$, then $F$ viewed as an algebraic space over $S'$ is the algebraic space $j_!F$ over $S'$ described in Lemma 64.16.1. We often simply denote this $F$; if not then we will write $j_!F$.

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