1: \begin{definition}

2: Let $G$ be a locally compact second countable group, $(X,\nu)$ a measure-preserving $G$-space and $\rho \in P(S(G))$ an invariant random subgroup of $G$ such that $\rho$ is a subgroup of $\stab_{*}\nu$.  The construction from Theorem \ref{T:moreuseful} is the \textbf{free extension of $(X,\nu)$ by $\rho$}.

3: \end{definition}

4: