1: \begin{definition}

2: Let $G \actson (X,\nu)$ be a quasi-invariant action of a locally compact second countable group and let $\varphi : X \to S(G)$ be a $G$-equivariant measurable map such that $\stab(x) \subseteq \varphi(x)$ for $\nu$-almost every $x \in X$.  The \textbf{quotient space of $(X,\nu)$ over $\varphi$} is the Mackey point realization (Theorem \ref{T:mackey}) of the $G$-algebra of $\varphi$-invariant functions.

3: \end{definition}

4: