Definition 81.9.1. Let $S$ be a scheme and $B$ an algebraic space over $S$. Let $j : R \to U \times _ B U$ be a pre-relation. A morphism $\phi : U \to X$ of algebraic spaces over $B$ is called a good quotient if
$\phi $ is invariant,
$\phi $ is affine,
$\phi $ is surjective,
condition (3) holds universally, and
the functions on $X$ are the $R$-invariant functions on $U$.