1: \begin{definition}

2: Let $G$ be a locally compact second countable group, $(X,\nu)$ a $G$-space and $\varphi: X \to P(S(G))$ a $G$-equivariant map such that $\varphi(x)$ is an invariant random subgroup of $\stab(x)$ almost everywhere.  The construction from Theorem \ref{T:extensionsrg} is the \textbf{free extension of $(X,\nu)$ by $\varphi$}.

3: \end{definition}

4: