1: \begin{definition}

2: Let $\G$ be a locally compact Hausdorff topological groupoid with a left Haar system $\lambda$. Given a regular Borel measure $\mu$ on $\G[0]$, the measure \emph{induced} by $\mu$ and $\lambda$ is the unique regular Borel measure $(\lambda\circ\mu)$ on $\G$ which satisfies

3: \[(\lambda\circ\mu)(E)=\int_{\G[0]}\lambda^x(E)d\mu(x)\]

4: for every compact $E\subseteq\G$. (The existence of $(\lambda\circ\mu)$ is guaranteed by the Riesz-Markov-Kakutani Representation Theorem.)% (\cite[Theorem 2.14]{MR924157}).

5: \end{definition}

6: