Definition 96.12.2. Let $S$ be a locally Noetherian scheme. Let $\mathcal{X}$ be fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$. Let $U$ be a scheme locally of finite type over $S$. Let $x$ be an object of $\mathcal{X}$ lying over $U$. Let $u_0$ be finite type point of $U$. We say $x$ is versal at $u_0$ if the morphism $\hat x$ (96.12.1.1) is smooth, see Formal Deformation Theory, Definition 88.8.1.

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