Definition 97.12.1. Let $S$ be a locally Noetherian scheme. Let $p : \mathcal{X} \to (\mathit{Sch}/S)_{fppf}$ be a category fibred in groupoids. Let $\xi = (R, \xi _ n, f_ n)$ be a formal object. Set $k = R/\mathfrak m$ and $x_0 = \xi _1$. We will say that $\xi$ is versal if $\xi$ as a formal object of $\mathcal{F}_{\mathcal{X}, k, x_0}$ (Remark 97.9.2) is versal in the sense of Formal Deformation Theory, Definition 89.8.9.

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