Definition 39.20.2. In the situation of Definition 39.20.1. We say that the pre-relation $j$ has a representable quotient if the sheaf $U/R$ is representable. We will say a groupoid $(U, R, s, t, c)$ has a representable quotient if the quotient $U/R$ with $j = (t, s)$ is representable.

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