1: \begin{definition}[{\cite[Theorem~2]{MMa}, \cite{MosherLecture}}]

2: The \emph{partition graph} of $h$ is the pair $(H, \phi)$ where:

3: \begin{itemize}

4: \item $H$ is the finite graph with:

5: \begin{itemize}

6: \item a vertex corresponding to each $h_i$, and

7: \item an edge corresponding to each $\gamma_i$, connecting between $h_j$ and $h_k$ when $\gamma_i$ meets $S_j$ and $S_k$.

8: \end{itemize}

9: \item $\phi$ is the automorphism of $H$ induced by $h$.

10: \end{itemize}

11: \end{definition}

12: