Definition 8.10.2. Let $\mathcal{C}$ be a site. Let $p : \mathcal{S} \to \mathcal{C}$ be a fibred category. We say $(\mathcal{S}, \text{Cov}(\mathcal{S}))$ as in Lemma 8.10.1 is the structure of site on $\mathcal{S}$ inherited from $\mathcal{C}$. We sometimes indicate this by saying that $\mathcal{S}$ is endowed with the topology inherited from $\mathcal{C}$.

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